Sciweavers

830 search results - page 86 / 166
» Planning as an architectural control mechanism
Sort
View
ASWSD
2004
Springer
15 years 6 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
80
Voted
IROS
2007
IEEE
115views Robotics» more  IROS 2007»
15 years 7 months 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
111
Voted
ATAL
2007
Springer
15 years 6 months 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
84
Voted
AMAST
2004
Springer
15 years 6 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 4 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...