Sciweavers

830 search results - page 86 / 166
» Planning as an architectural control mechanism
Sort
View
ASWSD
2004
Springer
15 years 11 months ago
On the Fault Hypothesis for a Safety-Critical Real-Time System
– A safety-critical real-time computer system must provide its services with a dependability that is much better than the dependability of any one of its constituent components. ...
Hermann Kopetz
IROS
2007
IEEE
115views Robotics» more  IROS 2007»
16 years 20 days ago
Spatial reasoning for human robot interaction
— Robots’ interaction with humans raises new issues for geometrical reasoning where the humans must be taken explicitly into account. We claim that a human-aware motion system ...
Emrah Akin Sisbot, Luis Felipe Marin, Rachid Alami
ATAL
2007
Springer
16 years 16 days ago
Coordination and Sociability for Intelligent Virtual Agents
This paper presents a multi-agent framework designed to simulate synthetic humans that properly balance task oriented and social behaviors. The work presented in this paper focuses...
Francisco Grimaldo, Miguel Lozano, Fernando Barber
AMAST
2004
Springer
15 years 11 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
CVRMED
1997
Springer
15 years 10 months ago
The use of localizers, robots and synergistic devices in CAS
There are many roles for electromechanical devices in image guided surgery. One is to help a surgeon accurately follow a preoperative plan. Devices for this purpose may be localiz...
Jocelyne Troccaz, Michael A. Peshkin, Brian L. Dav...