5164 search results - page 90 / 1033 » Consistency of the EKF-SLAM Algorithm |
ACL
2010
14 years 8 months ago
2010
Wikipedia articles in different languages are connected by interwiki links that are increasingly being recognized as a valuable source of cross-lingual information. Unfortunately,...
103
click to vote
ESOP
2012
Springer
13 years 5 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
AROBOTS
1999
14 years 9 months ago
1999
This analytic and experimental study proposes a control algorithm for coordinated position and force control for autonomous multi-limbed mobile robotic systems. The technique is ca...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This article deals with a regularized version of the split gradient method (SGM), leading to multiplicative algorithms. The proposed algorithm is available for the optimization of...
SPAA
2003
ACM
15 years 3 months ago
2003
ACM
The general problem of verifying coherence for shared-memory multiprocessor executions is NP-Complete. Verifying memory consistency models is therefore NP-Hard, because memory con...