2119 search results - page 131 / 424 » Structure-Preserving Model Reduction |
ICPR
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper describes recent advances in hidden Markov model (HMM) based OCR for machine-printed Arabic documents. A combination of scriptindependent and script-specific techniques...
106
click to vote
ATVA
2005
Springer
15 years 8 months ago
2005
Springer
This work extends the game-based framework of µ-calculus model checking to the multi-valued setting. In multi-valued model checking a formula is interpreted over a Kripke structur...
125
click to vote
ADVIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In many practical business process modelling scenarios using Petri nets, the resultant model does not have a single input place and a single output place. In particular, ...
SIGIR
1999
ACM
15 years 7 months ago
1999
ACM
A dual probability model is constructed for the Latent Semantic Indexing LSI using the cosine similarity measure. Both the document-document similarity matrix and the term-term ...
123
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Speech recognition of inflectional and morphologically rich languages like Czech is currently quite a challenging task, because simple n-gram techniques are unable to capture impo...