Sciweavers

3760 search results - page 288 / 752
» Logic-Based Probabilistic Modeling
Sort
View
ENTCS
2008
146views more  ENTCS 2008»
15 years 6 months ago
Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions
istic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions Michael J. A. Smith1 ,2 Laboratory for Foundations of Computer Science University of Edinb...
Michael J. A. Smith
ICRA
2010
IEEE
170views Robotics» more  ICRA 2010»
15 years 5 months ago
Robust vehicle localization in urban environments using probabilistic maps
— Autonomous vehicle navigation in dynamic urban environments requires localization accuracy exceeding that available from GPS-based inertial guidance systems. We have shown prev...
Jesse Levinson, Sebastian Thrun
MICCAI
2009
Springer
16 years 7 months ago
Setting Priors and Enforcing Constraints on Matches for Nonlinear Registration of Meshes
Abstract. We show that a simple probabilistic modelling of the registration problem for surfaces allows to solve it by using standard clustering techniques. In this framework, poin...
Benoît Combès, Sylvain Prima
IBPRIA
2007
Springer
16 years 20 days ago
Locating and Segmenting 3D Deformable Objects by Using Clusters of Contour Fragments
Abstract. This paper presents a new approach to the problem of simultaneous location and segmentation of object in images. The main emphasis is done on the information provided by ...
Manuel J. Marín-Jiménez, Nicolas P&e...
ICSOC
2007
Springer
16 years 20 days ago
Stochastic COWS
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
Davide Prandi, Paola Quaglia