102 search results - page 2 / 21 » Towards a Higher Level of Human-Robot Interaction and Integr... |
KI
2007
Springer
13 years 6 months ago
2007
Springer
Various forms of reasoning, the profusion of knowledge, the gap between neuro-inspired approaches and conceptual representations, the problem of inconsistent data input, and the ma...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
HRI
2006
ACM
14 years 27 days ago
2006
ACM
This paper investigates human behavior around an interactive robot at a science museum. To develop a communication robot that works in daily environments, it is important to inves...
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
PERCOM
2010
ACM
13 years 5 months ago
2010
ACM
Abstract—The pervasive computing vision consists in realizing ubiquitous technologies to support the execution of people’s everyday tasks by proactively providing appropriate i...