64 search results - page 6 / 13 » Towards Versatile Document Analysis Systems |
AIME
2003
Springer
15 years 3 months ago
2003
Springer
Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine syst...
ICDAR
2003
IEEE
15 years 3 months ago
2003
IEEE
As whiteboards have become a popular tool in meeting rooms, there has been a growing interest in making use of the whiteboard as a user interface for human computer interaction. T...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
100
click to vote
ICDAR
2009
IEEE
14 years 7 months ago
2009
IEEE
In this paper, we propose a new framework for online handwritten mathematical expression recognition. The proposed architecture aims at handling mathematical expression recognitio...
DAS
2008
Springer
14 years 11 months ago
2008
Springer
Many on-line (interactive) mathematics recognition systems allow the creation of typeset equations, normally in LaTeX, but they do not support mathematical problem solving. In thi...