Sciweavers

10061 search results - page 173 / 2013
» Statistical Models of Conditioning
Sort
View
ICCV
2007
IEEE
16 years 5 months ago
Correspondence Establishment in Statistical Modeling of Shapes with Arbitrary Topology
Correspondence establishment is a key step in statistical shape model building. There are several automated methods for solving this problem in 3D, but they usually can only handl...
Ekaterina Syrkina, Gábor Székely, Mi...
MICCAI
2004
Springer
16 years 4 months ago
Multi-scale Statistical Grey Value Modelling for Thrombus Segmentation from CTA
Abstract. In this paper we present, evaluate, and discuss two multiscale schemes for modelling grey-level appearance in a deformable model for the segmentation of abdominal aortic ...
Marcel Breeuwer, Sílvia Delgado Olabarriaga...
CPAIOR
2008
Springer
15 years 5 months ago
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
We consider the problem of estimating the model count (number of solutions) of Boolean formulas, and present two techniques that compute estimates of these counts, as well as eith...
Lukas Kroc, Ashish Sabharwal, Bart Selman
BMVC
2000
15 years 4 months ago
A Statistical Geometric Framework for Reconstruction of Scene Models
This paper addresses the problem of reconstructing surface models of indoor scenes from sparse 3D scene structure captured from N camera views. Sparse 3D measurements of real scen...
Anastasios Manessis, Adrian Hilton, Philip F. McLa...
KBSE
2010
IEEE
15 years 1 months ago
A bounded statistical approach for model checking of unbounded until properties
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, H...