981 search results - page 137 / 197 » Symbolic pointer analysis |
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
We present a method for the recognition of on-line handwritten commutative diagrams. Diagrams are formed with arrows that join relatively simple mathematical expressions. Diagram ...
ICDAR
2009
IEEE
14 years 3 months ago
2009
IEEE
Recognition and encoding of digitized historical documents is still a challenging and difficult task. A major problem is the occurrence of unknown glyphs and symbols which might n...
ICDAR
2007
IEEE
14 years 3 months ago
2007
IEEE
Document image segmentation algorithms primarily aim at separating text and graphics in presence of complex layouts. However, for many non-Latin scripts, segmentation becomes a ch...
ASWEC
2006
IEEE
14 years 3 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
ICDAR
2005
IEEE
14 years 2 months ago
2005
IEEE
We describe a new corpus collected for comparative evaluation of OCR-software and postcorrection techniques. The corpus is freely available for academic groups and use. The major ...