37 search results - page 7 / 8 » Partial Order Semantics of Sequence Diagrams for Mobility |
AI
2011
Springer
12 years 11 months ago
2011
Springer
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intr...
CVPR
2008
IEEE
14 years 6 months ago
2008
IEEE
We present a mobile vision system for multi-person tracking in busy environments. Specifically, the system integrates continuous visual odometry computation with tracking-bydetect...
RAS
2008
13 years 4 months ago
2008
In this paper, we tackle the problem of unsupervised selection and posterior recognition of visual landmarks in images sequences acquired by an indoor mobile robot. This is a high...
APN
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We study probabilistic safe Petri nets, a probabilistic extension of safe Petri nets interpreted under the true-concurrent semantics. In particular, the likelihood of pro...
ICRA
2008
IEEE
13 years 11 months ago
2008
IEEE
— Localization and context interpretation are two key competences for mobile robot systems. Visual place recognition, as opposed to purely geometrical models, holds promise of hi...