7 search results - page 1 / 2 » Symbolic String Verification: Combining String Analysis and ... |
TACAS
2009
Springer
14 years 3 days ago
2009
Springer
ICDAR
2003
IEEE
13 years 10 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 5 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
13 years 10 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
13 years 10 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...