5372 search results - page 800 / 1075 » Robotics and interactive simulation |
191
click to vote
QEST
2010
IEEE
15 years 4 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
168
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Authentic practice in science requires access to phenomena. In this paper, we introduce RoomQuake, an application designed to foster the growth of a community of learning around s...
152
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
As the computer game industry grows, game capabilities and designs are being re-used for purposes other than entertainment. The study of 'Serious Games', i.e. games for ...
176
click to vote
CHI
2004
ACM
16 years 7 months ago
2004
ACM
Many studies have been conducted on supporting communication in home and office spaces, but relatively few studies have explored supporting communication in large-scale public spa...
137
click to vote
CHI
2001
ACM
16 years 7 months ago
2001
ACM
In this study 24 participants drove a simulator while listening to three types of messages in both synthesized speech and recorded human speech. The messages consisted of short na...