7 search results - page 1 / 2 » Symbolic String Verification: Combining String Analysis and ... |
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
ICDAR
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper aims at automatic recognition of online handwritten mathematical expressions written on an electronic tablet. The proposed technique involves two major stages: symbol r...
ALGORITHMICA
2005
13 years 10 months ago
2005
Abstract. We consider random tries and random patricia trees constructed from n independent strings of symbols drawn from any distribution on any discrete space. We show that many ...
ICDAR
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper presents a lexical post-processing optimization for handwritten word recognition. The aim of this work is to explore the combination of different lexical postprocessing...
ICDAR
2003
IEEE
14 years 4 months ago
2003
IEEE
The objective of this paper is to present a number of features that can be extracted from handwritten digits and used for author verification or identification of a person’s han...