1398 search results - page 41 / 280 » Ensuring Properties of Interaction Systems |
119
click to vote
CHI
2009
ACM
16 years 2 months ago
2009
ACM
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...
128
click to vote
CHI
1993
ACM
15 years 6 months ago
1993
ACM
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 ...
123
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
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...
110
click to vote
COORDINATION
2009
Springer
16 years 2 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
117
click to vote
AIED
2005
Springer
15 years 7 months ago
2005
Springer
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...