4973 search results - page 256 / 995 » Probabilistic Algorithms in Robotics |
160
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, we address the problem of creating an objective benchmark for comparing SLAM approaches. We propose a framework for analyzing the results of SLAM approaches base...
135
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— Given a set of affine varieties in ℜ3, i.e. planes, lines, and points, the problem tackled in this paper is that of finding all possible configurations for these varieties...
183
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
181
click to vote
MM
2004
ACM
15 years 12 months ago
2004
ACM
Carriers increasingly differentiate their wide-area connectivity offerings by means of customized services, such as virtual private networks (VPN) with Quality of Service (QoS) g...
171
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...