Sciweavers

4284 search results - page 802 / 857
» Useful Computer Vision Techniques for Human-Robot Interactio...
Sort
View
SAC
2004
ACM
15 years 5 months ago
A decision-theoretic approach for designing proactive communication in multi-agent teamwork
Techniques that support effective communication during teamwork processes are of particular importance. Psychological study shows that an effective team often can anticipate infor...
Yu Zhang, Richard A. Volz, Thomas R. Ioerger, John...
SPIN
2004
Springer
15 years 5 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
ACG
2003
Springer
15 years 5 months ago
Searching with Analysis of Dependencies in a Solitaire Card Game
We present a new method for taking advantage of the relative independence between parts of a single-player game. We describe an implementation for improving the search in a solitai...
Bernard Helmstetter, Tristan Cazenave
ICMI
2003
Springer
96views Biometrics» more  ICMI 2003»
15 years 5 months ago
Learning and reasoning about interruption
We present methods for inferring the cost of interrupting users based on multiple streams of events including information generated by interactions with computing devices, visual ...
Eric Horvitz, Johnson Apacible
ITS
2010
Springer
152views Multimedia» more  ITS 2010»
15 years 4 months ago
A Network Analysis of Student Groups in Threaded Discussions
As online discussion boards become a popular medium for collaborative problem solving, we would like to understand patterns of group interactions that lead to collaborative learnin...
Jeon-Hyung Kang, Jihie Kim, Erin Shaw