752 search results - page 70 / 151 » A Markov Chain Model Checker |
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Temporal video segmentation is one of the fundamental and essential tasks in video processing, understanding and management. In this paper, we present an automatic method for segm...
ECAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper investigates genetic drift in multi-parent genetic algorithms (MPGAs). An exact model based on Markov chains is proposed to formulate the variation of gene frequency. Th...
EPEW
2008
Springer
13 years 10 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
ICASSP
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we propose a Bayesian model and a Monte Carlo Markov chain (MCMC) algorithm for reconstructing images that consist of only few non-zero pixels. An appropriate distr...
AAAI
2011
12 years 8 months ago
2011
In environmental and natural resource planning domains actions are taken at a large number of locations over multiple time periods. These problems have enormous state and action s...