354 search results - page 47 / 71 » jos 2010 |
ECAI
2010
Springer
14 years 1 days ago
2010
Springer
We show that Booth et al.'s Horn contraction based on infra-remainder sets corresponds exactly to kernel contraction for belief sets. This result is obtained via a detour thro...
EPEW
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. People with special needs may find difficulties using electronic consumer devices, user interfaces limit their chances of having full control on them. The Universal Remot...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
This paper presents an EKF-based approach to the problem of robot formation pose tracking in SLAM when a previously built feature-based stochastic map of a navigation area is avail...
ICIP
2010
IEEE
13 years 9 months ago
2010
IEEE
Failure of tracking algorithms is inevitable in real and online tracking systems. The online estimation of the track quality is therefore desirable for detecting tracking failures...
ENTCS
2007
13 years 11 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...