475 search results - page 58 / 95 » Reasoning About the Transfer of Control |
IROS
2006
IEEE
14 years 1 months 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â€...
ECAI
1998
Springer
13 years 12 months ago
1998
Springer
This paper describes SRIPPs, structured reactive image processing plans, that are tailored for the needs of autonomous service robots. SRIPPs are implemented on top of a modular, d...
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...
ESOP
2000
Springer
13 years 11 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...
PARLE
1987
1987
Emulating Digital Logic using Transputer Networks (very High Parallelism = Simplicity = Performance)
13 years 11 months ago
Modern VLSI technology has changed the economic rules by which the balance between processing power, memory and communications is decided in computing systems. This will have a pr...