Sciweavers

2119 search results - page 131 / 424
» Structure-Preserving Model Reduction
Sort
View
ICPR
2008
IEEE
16 years 23 days ago
Improvements in hidden Markov model based Arabic OCR
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...
Rohit Prasad, Shirin Saleem, Matin Kamali, Ralf Me...
ATVA
2005
Springer
108views Hardware» more  ATVA 2005»
15 years 12 months ago
Multi-valued Model Checking Games
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...
Sharon Shoham, Orna Grumberg
ADVIS
2004
Springer
15 years 11 months ago
On the Application of WF-Nets for Checking Hybrid IDEF0-IDEF3 Business Process Models
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, ...
Costin Badica, Chris Fox
SIGIR
1999
ACM
15 years 10 months ago
A Similarity-based Probability Model for Latent Semantic Indexing
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 ...
Chris H. Q. Ding
ICASSP
2009
IEEE
15 years 10 months ago
Neural network based language models for highly inflective languages
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...
Tomas Mikolov, Jirí Kopecký, Lukas B...