605 search results - page 70 / 121 » Probabilistic state space search |
ICDAR
1999
IEEE
14 years 1 months ago
1999
IEEE
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
ICCV
2001
IEEE
14 years 10 months ago
2001
IEEE
Vision-based m,otion captu.ring of hand articulation i s - a ch,allengin,g task, since th,e hand presents a m,otion of high, degrees of freedom.. Model-based approach,es could he ...
ATAL
2006
Springer
14 years 16 days ago
2006
Springer
In this paper we incorporate autonomous agents' capability to perform parallel interactions into the cooperative search model, resulting in a new method which outperforms the...
SAT
2004
Springer
14 years 2 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...