267 search results - page 34 / 54 » Efficient and decentralized computation of approximate globa... |
ASM
2004
ASM
15 years 5 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
We consider qualitative and quantitative verification problems for infinite-state Markov chains. We call a Markov chain decisive w.r.t. a given set of target states F if it almos...
111
click to vote
ICPR
2008
IEEE
16 years 29 days ago
2008
IEEE
In this paper we consider the problem of solving different pose and registration problems under rotational constraints. Traditionally, methods such as the iterative closest point ...
107
click to vote
ICCV
2001
IEEE
16 years 1 months ago
2001
IEEE
We present a comprehensive treatment of 3D object tracking by posing it as a nonlinear state estimation problem. The measurements are derived using the outputs of shape-encoded fi...
133
click to vote
MOBILITY
2009
ACM
15 years 6 months ago
2009
ACM
MANETs are self-organizing networks composed of mobile wireless nodes with often scarce resources. Distributed applications based on the P2P paradigm are by nature good candidates...