81 search results - page 11 / 17 » PARAM: A Model Checker for Parametric Markov Models |
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
?This paper presents a computational paradigm called Data-Driven Markov Chain Monte Carlo (DDMCMC) for image segmentation in the Bayesian statistical framework. The paper contribut...
ICML
2006
IEEE
14 years 9 months ago
2006
IEEE
We consider the problem of clustering in its most basic form where only a local metric on the data space is given. No parametric statistical model is assumed, and the number of cl...
VISAPP
2010
13 years 6 months ago
2010
phies are also mentioned and a common mathematical abstraction for all these inverses problems will be presented. By focusing on a simple linear forward model, first a synthetic an...
ROBOCUP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Two main challenges of robot action planning in real domains are uncertain action effects and dynamic environments. In this paper, an instance-based action model is lear...
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
We present a new non-parametric model constraint graph min-cut algorithm for automatic kidney segmentation in CT images. The segmentation is formulated as a maximum a-posteriori es...