( en | de | ru )

 

Disambiguierung von "Bastide, Rémi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Formal Description of Multimodal Interaction Techniques for Immersive Virtual Reality Applications.

, , , , , , und . INTERACT, Volume 3585 von Lecture Notes in Computer Science, Seite 170-183. Springer, (2005)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Rolf Rémi

Rémi Auguste

Rémi Revire

Rémi Dorat

Rémi Flamary

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal Specification and Verification of CSCW using the Interactive Cooperative Object Formalism., und . BCS HCI, Seite 213-231. Cambridge University Press, (1995)A Formal Specification of the CORBA Event Service., , , und . FMOODS, Volume 177 von IFIP Conference Proceedings, Seite 371-395. Kluwer, (2000)Model-Based Interactive Prototyping of Highly Interactive Applications., , und . CADUI, Seite 205-216. Kluwer, (2002)DAVID: A Multimedia Tool for Accident Investigation., und . BCS HCI, Seite 349-368. Springer, (1996)SADS: Generic Web access to space data., und . WebNet, AACE, (1996)Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)., und . ECOOP Workshops, Volume 1357 von Lecture Notes in Computer Science, Seite 221-255. Springer, (1997)A model-based tool for interactive prototyping of highly interactive applications., , und . CHI Extended Abstracts, Seite 516-517. ACM, (2002)Paper Ontology-Driven Customization of Home-Care Workflows., , , und . DEXA Workshops, Seite 498-502. IEEE Computer Society, (2011)Implementation Techniques for Petri Net Based Specifications of Human-Computer Dialogues., und . CADUI, Seite 285-302. Presses Universitaires de Namur, (1996)Validating interactive system design through the verification of formal task and system models., , und . EHCI, Volume 45 von IFIP Conference Proceedings, Seite 189-212. Chapman & Hall, (1995)