Sciweavers

85 search results - page 8 / 17
» Qualitative Probabilistic Modelling in Event-B
Sort
View
ACCV
2009
Springer
14 years 2 months ago
A Probabilistic Model for Correspondence Problems Using Random Walks with Restart
Abstract. In this paper, we propose an efficient method for finding consistent correspondences between two sets of features. Our matching algorithm augments the discriminative pow...
Tae Hoon Kim, Kyoung Mu Lee, Sang Uk Lee
ISBI
2004
IEEE
14 years 8 months ago
A Probabilistic Framework for the Detection and Tracking in Time of Multiple Sclerosis Lesions
A novel statistical scheme for the automatic detection and tracking in time of relapsing-remitting multiple sclerosis (MS) lesions in image sequences is described. Coherent space-...
Allon Shahar, Hayit Greenspan
CONCUR
2000
Springer
14 years 3 days ago
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
ICCV
2011
IEEE
12 years 7 months ago
Perturb-and-MAP Random Fields: Using Discrete Optimization\\to Learn and Sample from Energy Models
We propose a novel way to induce a random field from an energy function on discrete labels. It amounts to locally injecting noise to the energy potentials, followed by finding t...
George Papandreou, Alan L. Yuille
CORR
2008
Springer
75views Education» more  CORR 2008»
13 years 7 months ago
A new probabilistic transformation of belief mass assignment
In this paper, we propose in Dezert-Smarandache Theory (DSmT) framework, a new probabilistic transformation, called DSmP, in order to build a subjective probability measure from an...
Jean Dezert, Florentin Smarandache