论文信息 - A formal framework for design and validation of multimodal interactive systems in transport domain. - 字舞流文

A formal framework for design and validation of multimodal interactive systems in transport domain.

Mohamed Ahmed-Nacer | Idir Ait-Sadoune | Yamine Aït-Ameur | Linda Mohand-Oussaid | Kamel Nadjet | M. Ahmed-Nacer | Y. Aït-Ameur | Kamel Nadjet | Linda Mohand-Oussaid | Idir Ait-Sadoune

[1] Mickaël Baron,et al. Validation et vérification formelles de systèmes interactifs multi-modaux fondées sur la preuve , 2006, IHM '06.

[2] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[3] Norbert Reithinger,et al. SmartKom: adaptive and flexible multimodal access to multiple applications , 2003, ICMI '03.

[4] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.

[5] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).

[6] Steven K. Feiner,et al. Negotiation for automated generation of temporal multimedia presentations , 1997, MULTIMEDIA '96.

[7] Thomas Rist,et al. A standard reference model for intelligent multimedia presentation systems , 1997, Comput. Stand. Interfaces.

[8] Deb Roy,et al. Elvis: situated speech and gesture understanding for a robotic chandelier , 2004, ICMI '04.

[9] Philippe A. Palanque,et al. A Model-Based Approach for Engineering Multimodal Interactive Systems , 2003, INTERACT.

[10] Niels Ole Bernsen,et al. Foundations of Multimodal Representations: A Taxonomy of Representational Modalities , 1994, Interact. Comput..

[11] Edmund M. Clarke,et al. Model checking and abstraction , 1994, TOPL.

[12] S. Lavallée,et al. Image-guided spinal surgery: Technology, operative technique, and clinical practice , 2000 .