81 search results - page 11 / 17 » PARAM: A Model Checker for Parametric Markov Models |
135
click to vote
ICCV
2001
IEEE
16 years 3 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...
108
click to vote
ICML
2006
IEEE
16 years 2 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...
157
click to vote
VISAPP
2010
14 years 11 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...
142
click to vote
ROBOCUP
2007
Springer
15 years 8 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...
140
Voted
MICCAI
2010
Springer
15 years 7 days 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...