13917 search results - page 150 / 2784 » Abstraction of Probabilistic Systems |
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract— Researchers have addressed the localization problem for mobile robots using many different kinds of sensors, including rangefinders, cameras, and odometers. In this pa...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Today most robots interact with the surroundings only with their end-effectors. However there are many benefits to utilizing contact along the entire length of robot b...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— Real-world robotic environments are highly structured. The scalability of planning and reasoning methods to cope with complex problems in such environments crucially de...
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
ICLP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we consider a logic programming framework for reasoning about imprecise probabilities. In particular, we propose a new semantics, for the Probabilistic Logi...