communicating sequential processes; computational linguistics; formal specification; formal verification; human computer interaction; interactive systems; speech-based user interfaces; CSP; Formal Dialogue Management for Shared Control toolkit; SDS development; au;
机译:对语音命令具有鲁棒性的实时语音对话系统的研究
机译:“我可以信任口语对话系统,因为它使用的语言与我相同吗?”-词汇对齐的口语对话系统对可信度和用户满意度的影响
机译:通过使用健壮的语法验证来选择帮助消息,以处理口语对话系统中的语法外说话
机译:强大的口语对话系统中的正式控制
机译:具有基础程度的语音对话系统中的对话管理。
机译:评估护理记录系统的口语对话系统
机译:在健全的口语对话系统中形式化控制