5015 search results - page 356 / 1003 » Model Checking a Path |
163
click to vote
ICDAR
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segme...
158
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
OneClassMaxMinOver (OMMO) is a simple incremental algorithm for one-class support vector classification. We propose several enhancements and heuristics for improving model select...
154
click to vote
WCET
2008
15 years 8 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...
162
click to vote
WCE
2007
15 years 7 months ago
2007
—This paper proposes two models of adding relations to a linking pin type organization structure where every pair of siblings in a complete Kary tree of height H is adjacent: (i)...
153
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
This paper proposes a capital accumulation model with a random stopping time corresponding to the occurrence of an environmental catastrophe. Depending on the preventive capital s...