10891 search results - page 295 / 2179 » Combining Model Reductions |
130
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
126
click to vote
WCET
2008
15 years 5 months ago
2008
WCET analysis models for superscalar out-of-order CPUs generally need to be pessimistic in order to account for a wide range of possible dynamic behavior. CPU hardware modificatio...
148
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
We present an algorithm for illumination invariant 3D model based tracking and video compression. While model-based coding schemes are well developed, the compression rate reduces...
125
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
In this paper a robust multifont character recognition system for degraded documents such as photocopy or fax is described. The system is based on Hidden Markov Models (HMMs) usin...
114
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
In limited data domains, many effective language modeling techniques construct models with parameters to be estimated on an in-domain development set. However, in some domains, no...