8828 search results - page 1275 / 1766 » Formal methods in practice |
180
click to vote
CP
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Much progress has been made in terms of boosting the effectiveness of backtrack style search methods. In addition, during the last decade, a much better understanding of ...
187
click to vote
ICAT
2003
IEEE
16 years 13 days ago
2003
IEEE
Light field rendering (LFR) is a fundamental method for generating new views from a set of pre-acquired images. We use densely-aligned cameras for the process of acquiring the se...
153
click to vote
ICDAR
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper describes a method of generating a Kanji hierarchical structured dictionary for stroke-number and stroke-order free handwriting recognition based on substroke HMM. In s...
176
click to vote
ICDAR
2003
IEEE
16 years 13 days ago
2003
IEEE
Recognition of variously deformed character patterns is a salient subject for off-line hand-printed character recognition. Sufficient recognition performance for practical use has...
215
click to vote
ICDAR
2003
IEEE
16 years 13 days ago
2003
IEEE
This paper proposes a method to accelerate character recognition of a large character set by employing pivots into the search space. We divide the feature space of character categ...