13917 search results - page 152 / 2784 » Abstraction of Probabilistic Systems |
TROB
2002
14 years 9 months ago
2002
Abstract--With the services that autonomous robots are to provide becoming more demanding, the states that the robots have to estimate become more complex. In this article, we deve...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— For path planning algorithms of robots it is important that the robot does not reach a state of inevitable collision. In crowded environments with many humans or robots...
LICS
2006
IEEE
15 years 4 months ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
QEST
2009
IEEE
15 years 4 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
MICCAI
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. We propose a semi-supervised, kinetic modeling based segmentation technique for molecular imaging applications. It is an iterative, self-learning algorithm based on uncer...