Sciweavers

4332 search results - page 165 / 867
» A Probabilistic Identification Result
Sort
View
TACAS
2000
Springer
138views Algorithms» more  TACAS 2000»
15 years 9 months ago
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norma...
MICCAI
2010
Springer
15 years 4 months ago
Probabilistic Multi-Shape Representation Using an Isometric Log-Ratio Mapping
Abstract. Several sources of uncertainties in shape boundaries in medical images have motivated the use of probabilistic labeling approaches. Although it is well-known that the sam...
Neda Changizi, Ghassan Hamarneh
DASFAA
2011
IEEE
206views Database» more  DASFAA 2011»
14 years 9 months ago
A Hybrid Algorithm for Finding Top-k Twig Answers in Probabilistic XML
Abstract. Uncertainty is inherently ubiquitous in data of real applications, and those uncertain data can be naturally represented by the XML. Matching twig pattern against XML dat...
Bo Ning, Chengfei Liu
ECCV
2004
Springer
16 years 8 months ago
Interpolating Novel Views from Image Sequences by Probabilistic Depth Carving
Abstract. We describe a novel approach to view interpolation from image sequences based on probabilistic depth carving. This builds a multivalued representation of depth for novel ...
Annie Yao, Andrew Calway
ICIP
2003
IEEE
16 years 7 months ago
A probabilistic framework for image segmentation
A new probabilistic image segmentation model based on hypothesis testing and Gibbs Random Fields is introduced. First, a probabilistic difference measure derived from a set of hyp...
Slawo Wesolkowski, Paul W. Fieguth