Sciweavers

1398 search results - page 41 / 280
» Ensuring Properties of Interaction Systems
Sort
View
CHI
2009
ACM
16 years 6 months ago
Letting tools talk: interactive technology for firefighting
In this work-in-progress report we present the results of a preliminary analysis of a set of fieldwork studies conducted in collaboration with a firefighter school and a firefight...
Sebastian Denef, Leonardo Ramirez, Tobias Dyrks
CHI
1993
ACM
15 years 10 months ago
A design space for multimodal systems: concurrent processing and data fusion
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
Laurence Nigay, Joëlle Coutaz
ATAL
2010
Springer
15 years 6 months ago
Evaluating directorial control in a character-centric interactive narrative framework
Interactive narrative allows the user to play a role in a story and interact with other characters controlled by the system. Directorial control is a procedure for dynamically tun...
Mei Si, Stacy C. Marsella, David V. Pynadath
COORDINATION
2009
Springer
16 years 6 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
AIED
2005
Springer
15 years 11 months ago
THESPIAN: An Architecture for Interactive Pedagogical Drama
Interactive drama is increasingly being used as a pedagogical tool in a wide variety of computer-based learning environments. However, the effort required to build interactive dram...
Mei Si, Stacy C. Marsella, David V. Pynadath