Sciweavers

11022 search results - page 216 / 2205
» Programming Systems for Autonomy
Sort
View
AUTOMATICA
2008
102views more  AUTOMATICA 2008»
15 years 6 months ago
A set-membership state estimation algorithm based on DC programming
This paper presents a new approach to guaranteed state estimation for nonlinear discrete-time systems with a bounded description of noise and parameters. The sets of states that a...
T. Alamo, J. M. Bravo, M. J. Redondo, Eduardo F. C...
CC
2009
Springer
113views System Software» more  CC 2009»
16 years 7 months ago
Decorated Attribute Grammars: Attribute Evaluation Meets Strategic Programming
Lennart C. L. Kats, Anthony M. Sloane, Eelco Visse...
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
15 years 12 months ago
What Are the Ants Doing? Vision-Based Tracking and Reconstruction of Control Programs
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
Magnus Egerstedt, Tucker R. Balch, Frank Dellaert,...
WOA
2000
15 years 7 months ago
Java for Real-time Object-oriented Programming
Real
Antonio Boccalatte, Mauro Coccoli
ENTCS
2008
76views more  ENTCS 2008»
15 years 6 months ago
Symbolic and Abstract Interpretation for C/C++ Programs
and Abstract Interpretation for C/C++ Programs Helge L
Helge Löding, Jan Peleska