3918 search results - page 626 / 784 » Probabilistic model of triangulation |
120
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— We consider the problem of tracking multiple moving robots using noisy sensing of inter-robot and interbeacon distances. Sensing is local: there are three fixed beacons at kno...
113
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper describes an algorithm for estimating lane boundaries and curbs from a moving vehicle using noisy observations and a probabilistic model of curvature. The primary co...
132
Voted
HYBRID
2010
Springer
15 years 9 months ago
2010
Springer
Probabilistic Computation Tree Logic (PCTL) is a wellknown modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context...
125
click to vote
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
125
click to vote
MUE
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we propose Rank-Based Broadcast (RBB) algorithm using High Order Markov Chain (HOMC) with weight values in mobile p2p ad-hoc networks (MOPNET) for ubiquitous. RBB us...