752 search results - page 106 / 151 » A Markov Chain Model Checker |
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
We describe a method for inferring tree-like vascular structures from 2D imagery. A Markov Chain Monte Carlo (MCMC) algorithm is employed to produce approximate samples from the p...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We propose an object detection method using particle filters. Our approach estimates the probability of object presence in the current image given the history of observations up t...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
We have established a novel control system for combining the parallel execution of deterministic and non-deterministic medical imaging applications on a single platform, sharing t...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
Without any assumption on the cover source, this paper presents a complete characterization of all perfectly secure stego-systems that employ mutually independent embedding operat...