Sciweavers

2639 search results - page 76 / 528
» Biological Systems as Reactive Systems
Sort
View
CIDM
2007
IEEE
14 years 4 months ago
Reactive Query Policies: A Formalism for Planning with Volatile External Information
— To generate plans for collecting data for data mining, an important problem is information volatility during planning: the information needed by the planning system may change ...
Tsz-Chiu Au, Dana S. Nau
CVPR
1999
IEEE
15 years 1 days ago
Combining Central and Peripheral Vision for Reactive Robot Navigation
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...
Antonis A. Argyros, Fredrik Bergholm
COORDINATION
2006
Springer
14 years 1 months ago
Compositional Semantics of an Actor-Based Language Using Constraint Automata
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel ...
ASM
2005
ASM
14 years 3 months ago
Tools for System Validation with B Abstract Machines
Michael J. Butler, Michael Leuschel, Colin F. Snoo...
ECCV
1994
Springer
14 years 2 months ago
Integration and Control of Reactive Visual Processes
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...
James L. Crowley, Jean Marc Bedrune, Morten Bekker...