282 search results - page 47 / 57 » Reactive Environments |
ACCV
1995
Springer
15 years 1 months ago
1995
Springer
We present a binocular active vision system that can attend to and xate a moving target. Our system has an open and expandable design and it forms the rst steps of a long term e o...
94
Voted
REX
1991
15 years 1 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
CLIMA
2010
14 years 11 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
106
Voted
ICAI
2003
14 years 11 months ago
2003
: We present a model consisting of an emergent procedure for n unpiloted, autonomous flying munitions to cooperatively conduct a parallel sweeping search of a geographic area for s...
91
Voted
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
We present a formal framework of an autonomous agent as a collection of coordinated control loops, with a recurring sense, plan, act cycle. Our framework manages the information f...