Sciweavers

595 search results - page 106 / 119
» Predictive State Representations with State Space Partitioni...
Sort
View
ICRA
2006
IEEE
88views Robotics» more  ICRA 2006»
15 years 5 months ago
Rao-Blackwellized Particle Filtering for 6-DOF Estimation of Attitude and Position via GPS and Inertial Sensors
— The authors present an innovative method for the efficient joint estimation of attitude and position in six degrees of freedom via sensors such as GPS, inertial measurement un...
Paul Vernaza, Daniel D. Lee
IFIP
2004
Springer
15 years 4 months ago
Static program transformations for efficient software model checking
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
Shobha Vasudevan, Jacob A. Abraham
101
Voted
ICRA
2002
IEEE
183views Robotics» more  ICRA 2002»
15 years 4 months ago
Mobile Robot Localization Based on Random Closed Set Model Maps
In this paper we present a novel approach to mobile robot navigation in natural unstructured environments. Natural scenes can be considered as random fields where a large number ...
Stefan Rolfes, Maria-João Rendas
87
Voted
CDC
2009
IEEE
143views Control Systems» more  CDC 2009»
15 years 3 months ago
Control interpretations of products in the Hopf algebra
Abstract— Families of differential operators, like those defining affine, generally nonlinear, control systems are known to have natural Hopf algebra structures. These provide ...
Matthias Kawski
AGENTS
2000
Springer
15 years 3 months ago
Agent communication transfer protocol
Conversations involving three or more agents often occur in multi-agent systems, for example in brokering and auction protocols typically used in e-commerce. For developing agents ...
Alexander Artikis, Jeremy Pitt, Christos Stergiou