740 search results - page 46 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
VISUALIZATION
1999
IEEE
14 years 23 days ago
1999
IEEE
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...
CHI
2007
ACM
14 years 9 months ago
2007
ACM
This paper describes the results of three studies investigating an embodied agent that supports its interaction with the user by gazing at corresponding objects within its close e...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
We discuss the design of the Intermediary Agent's brain, the control module of an embodied conversational virtual peer in a simulation game aimed at providing learning experi...
ECCE
2007
13 years 10 months ago
2007
Motivation – This paper is based on a research project which examines the way car drivers and automated devices cooperate to achieve lateral control of a vehicle. A theoretical ...
AVI
2008
13 years 10 months ago
2008
Many critical decisions for individuals and organizations are often framed as preferential choices: the process of selecting the best option out of a set of alternatives. This pap...