Sciweavers

12257 search results - page 385 / 2452
» Analysis of Algorithms
Sort
View
ICRA
2010
IEEE
150views Robotics» more  ICRA 2010»
15 years 2 months ago
Consistency of the monocular EKF-SLAM algorithm for three different landmark parametrizations
We benchmark in this article three different landmark parametrizations in monocular 6DOF EKF-SLAM. These parametrizations are homogeneous points (HP), inversedistance points (IDP, ...
Joan Solà
CAISE
2003
Springer
15 years 9 months ago
Improving Termination Analysis of Active Rules with Priorities
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
Alain Couchot
JMLR
2010
154views more  JMLR 2010»
14 years 11 months ago
MOA: Massive Online Analysis
Massive Online Analysis (MOA) is a software environment for implementing algorithms and running experiments for online learning from evolving data streams. MOA includes a collecti...
Albert Bifet, Geoff Holmes, Richard Kirkby, Bernha...
IROS
2006
IEEE
116views Robotics» more  IROS 2006»
15 years 10 months ago
Consistency of the EKF-SLAM Algorithm
— This paper presents an analysis of the extended Kalman filter formulation of simultaneous localisation and mapping (EKF-SLAM). We show that the algorithm produces very optimis...
Tim Bailey, Juan Nieto, José E. Guivant, Mi...
DAC
2007
ACM
16 years 5 months ago
Fast Second-Order Statistical Static Timing Analysis Using Parameter Dimension Reduction
The ability to account for the growing impacts of multiple process variations in modern technologies is becoming an integral part of nanometer VLSI design. Under the context of ti...
Zhuo Feng, Peng Li, Yaping Zhan