Sciweavers

2383 search results - page 245 / 477
» Anticipatory Behavioral Control
Sort
View
105
Voted
ATAL
2006
Springer
15 years 4 months ago
A Market-Pressure-Based Performance Evaluator for TAC-SCM
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 ...
Brett Borghetti, Eric Sodomka, Maria L. Gini, John...
115
Voted
ACSD
2001
IEEE
112views Hardware» more  ACSD 2001»
15 years 4 months ago
Software Implementation of Synchronous Programs
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 ...
Charles Andre, Frédéric Boulanger, A...
127
Voted
ISER
1991
Springer
192views Robotics» more  ISER 1991»
15 years 4 months ago
System Identification and Modelling of A High Performance Hydraulic Actuator
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...
Benoit Boulet, Laeeque Daneshmend, Vincent Hayward...
CAV
2008
Springer
115views Hardware» more  CAV 2008»
15 years 3 months ago
An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths
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...
Oliver Wienand, Markus Wedler, Dominik Stoffel, Wo...
120
Voted
LANMR
2007
15 years 2 months ago
Planning using situation calculus, prolog and a mobile robot
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...
Pilar Pozos Parra, Edgardo Yescas, Jacob Vá...