2036 search results - page 108 / 408 » From Sampling to Model Counting |
104
click to vote
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
110
click to vote
STOC
1993
ACM
15 years 5 months ago
1993
ACM
In this paper, we study the problem of learning in the presence of classification noise in the probabilistic learning model of Valiant and its variants. In order to identify the cl...
151
click to vote
IJCV
1998
15 years 1 months ago
1998
This paper presents a method that uses the level sets of volumes to reconstruct the shapes of 3D objects from range data. The strategy is to formulate 3D reconstruction as a stati...
218
click to vote
FIMH
2011
Springer
14 years 5 months ago
2011
Springer
In this paper, we present an effective algorithm to construct a 3D shape atlas for the left ventricle of heart from cardiac Magnetic Resonance Image data. We derive a framework tha...
143
click to vote
CGF
2010
15 years 1 months ago
2010
We address the problem of generating quality surface triangle meshes from 3D point clouds sampled on piecewise smooth surfaces. Using a feature detection process based on the cova...