A process algebra account of speech-gesture interaction.
Hannes RieserPublished in: FADLI@ESSLLI (2017)
Keyphrases
- process algebra
- multimodal interfaces
- human computer interaction
- formal specification
- multimodal interaction
- concurrent systems
- model checking
- formal methods
- asynchronous circuits
- concurrent programs
- gesture recognition
- hand movements
- speech recognition
- human communication
- web services composition
- hidden markov models
- emotional state
- communication protocols
- petri net
- software engineering
- real time
- software development
- artificial intelligence