3491 search results - page 30 / 699 » Cascaded Markov Models |
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
64
Voted
ICCV
1999
IEEE
15 years 11 months ago
1999
IEEE
82
Voted
EMNLP
2010
14 years 7 months ago
2010
A word in one language can be translated to zero, one, or several words in other languages. Using word fertility features has been shown to be useful in building word alignment mo...
MASCOTS
2004
14 years 11 months ago
2004
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
DBA
2004
14 years 11 months ago
2004
This paper discusses how to extend the applicability of the recursive cascade update command of the Xplain query language. This command guarantees termination because cycle detect...