Formal description of a multimodal interaction technique in an immersive virtual reality application

Authors:
Amélie Schyn;David Navarre;Philippe Palanque;Luciana Porcher Nedel
Affiliations:
LIIHS IRIT;LIIHS IRIT;LIIHS IRIT;Universidade Federal do Rio Grande do Sul
Venue:
IHM 2003 Proceedings of the 15th French-speaking conference on human-computer interaction on 15eme Conference Francophone sur l'Interaction Homme-Machine
Year:
2003

Citing 10
Cited 1

Encapsulating knowledge for intelligent automatic interaction objects selection

CHI '93 Proceedings of the INTERACT '93 and CHI '93 Conference on Human Factors in Computing Systems
Extending a graphical toolkit for two-handed interaction

UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
Hybrid high-level nets

WSC '96 Proceedings of the 28th conference on Winter simulation
Interaction and modeling techniques for desktop two-handed input

Proceedings of the 11th annual ACM symposium on User interface software and technology
Model-based design of user interfaces using object-Z

Proceedings of the third international conference on Computer-aided design of user interfaces
A method engineering framework for modeling and generating interactive applications

Proceedings of the third international conference on Computer-aided design of user interfaces
Formal specification of CORBA services: experience and lessons learned

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Prototyping Pre-implementation Designs of Virtual Environment Behaviour

EHCI '01 Proceedings of the 8th IFIP International Conference on Engineering for Human-Computer Interaction
Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems

DSV-IS '02 Proceedings of the 9th International Workshop on Interactive Systems. Design, Specification, and Verification
A three-state model of graphical input

INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction

An infrastructure for experience centered agile prototyping of ambient intelligence

Proceedings of the 1st ACM SIGCHI symposium on Engineering interactive computing systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Even if the majority of research in the field of Human-Computer Interaction seems to focus on using advanced interaction techniques, such as multimodality or virtual reality, critical systems show that usability of such techniques is only one of the main problems a designer must face with reliability and efficiency. This paper presents, through the study of an example from the field of virtual reality, extensions to previous works in the field of formal description techniques for interactive systems, by adding elements to the ICO formalism, allowing the modelling of multimodal applications.