A generic formal specification of fusion of modalities in a multimodal HCI.
Yamine Aït AmeurNadjet KamelPublished in: IFIP Congress Topical Sessions (2004)
Keyphrases
- formal specification
- multimodal fusion
- multimodal interfaces
- multimodal biometrics
- human computer interaction
- single modality
- multi modal
- object oriented design
- model checking
- audio visual
- specification languages
- specification language
- formal methods
- multi modality
- multimodal interaction
- multiple modalities
- reverse engineering
- process algebra
- concurrent systems
- data abstraction
- data fusion
- decision level fusion
- human computer interface
- cross modal
- software components
- model checker
- database
- biometric systems
- programming language
- multiple sources of information
- high level
- temporal logic
- first order logic