641 search results - page 2 / 129 » Combining Aspects of Reactive Systems |
ICFP
2001
ACM
14 years 5 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...
ICFEM
2003
Springer
13 years 10 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
RAS
2010
13 years 3 months ago
2010
Grasping an object is a task that inherently needs to be treated in a hybrid fashion. The system must decide both where and how to grasp the object. While selecting where to grasp...
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
CVPR
1999
IEEE
14 years 7 months ago
1999
IEEE
In this paper, we present a new method for vision-based, reactive robot navigation that enables a robot to move in the middle of the free space by exploiting both central and peri...