1894 search results - page 184 / 379 » Towards Mobile Reasoning |
122
click to vote
IROS
2007
IEEE
16 years 12 days ago
2007
IEEE
— We describe the tight integration of incremental natural language understanding, goal management, and action processing in a complex robotic architecture, which is required for...
149
click to vote
IROS
2006
IEEE
16 years 4 days ago
2006
IEEE
— The presence of humans should be explicitly taken into account in all steps of robot’s design and particularly for robot motion. The robot should reason about human partnerâ€...
153
Voted
UM
2005
Springer
15 years 11 months ago
2005
Springer
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...
163
Voted
ESOP
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
152
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...