6045 search results - page 375 / 1209 » Computable Linearizations of Well-partial-orderings |
203
click to vote
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we propose a novel approach to solving the distributed constraint optimisation problem (DCOP) that guarantees completeness, while having linear communication comple...
157
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper addresses the consistency issue of the Extended Kalman Filter approach to the simultaneous localization and mapping (EKF-SLAM) problem. Linearization of the inherent...
229
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper proposes a real-time, robust and efficient 3D model-based tracking algorithm. A non linear minimization approach is used to register 2D and 3D cues for monocular 3D...
218
click to vote
RTSS
2006
IEEE
16 years 1 months ago
2006
IEEE
In many applications we can deploy large number of sensors spanning wide geographical areas, to monitor environmental phenomena. The analysis of the data collected by such sensor ...
257
click to vote
ACOM
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...