Sciweavers

1944 search results - page 184 / 389
» Understanding and evaluating creativity
Sort
View
ICIA
2007
15 years 6 months ago
Intent Recognition for Human-Robot Interaction
Effective human-robot cooperation requires robotic devices that understand human goals and intentions. We frame the problem of intent recognition as one of tracking and predicting...
Andreas G. Hofmann, Brian C. Williams
NSDI
2007
15 years 6 months ago
Friday: Global Comprehension for Distributed Replay
Debugging and profiling large-scale distributed applications is a daunting task. We present Friday, a system for debugging distributed applications that combines deterministic re...
Dennis Geels, Gautam Altekar, Petros Maniatis, Tim...
150
Voted
AISC
2008
Springer
15 years 5 months ago
A Tactic Language for Hiproofs
Abstract. We introduce and study a tactic language, Hitac, for constructing hierarchical proofs, known as hiproofs. The idea of hiproofs is to superimpose a labelled hierarchical n...
David Aspinall, Ewen Denney, Christoph Lüth
137
Voted
HAIS
2010
Springer
15 years 5 months ago
Fusion of Fuzzy Spatial Relations
Spatial relations are essential for understanding the image configuration and modeling common sense knowledge. In most of existing methods, topological, directional and distance s...
Nadeem Salamat, El-hadi Zahzah
124
Voted
ATAL
2008
Springer
15 years 5 months ago
iCat: an affective game buddy based on anticipatory mechanisms
In this paper, we study the role of emotions and expressive behaviour in socially interactive characters employed in educational games. More specifically, on how we can use such e...
Iolanda Leite, Carlos Martinho, André Perei...