2383 search results - page 245 / 477 » Anticipatory Behavioral Control |
ATAL
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. This paper proposes a novel method to characterize the performance of autonomous agents in the Trading Agent Competition for Supply Chain Management (TAC-SCM). We create ...
ACSD
2001
IEEE
14 years 2 months ago
2001
IEEE
Synchronous languages allow a high level, concurrent, and deterministic description the behavior of reactive systems. Thus, they can be used advantageously for the programming of ...
ISER
1991
Springer
14 years 1 months ago
1991
Springer
Detailed knowledge of actuator properties is a prerequisite for advanced manipulator design and control. This paper deals with the experimental identification and modelling of the...
CAV
2008
Springer
14 years 12 days ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
LANMR
2007
13 years 11 months ago
2007
This paper presents a system that controls the behavior of a mobile robot. The system is based on situation calculus, the initial state is described and a goal is given, Prolog pro...