Sciweavers

3342 search results - page 227 / 669
» Symbolic Robustness Analysis
Sort
View
ICDAR
1997
IEEE
15 years 10 months ago
Representing OCRed documents in HTML
ABSTRACT: OCR is an error-prone process. It is time-consuming and expensive to manually proofread OCR results. The errors remaining in OCRed texts can cause serious problems in rea...
Tao Hong, Sargur N. Srihari
SIGSOFT
2010
ACM
15 years 4 months ago
Scalable SMT-based verification of GPU kernel functions
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
Guodong Li, Ganesh Gopalakrishnan
ICDAR
2009
IEEE
16 years 1 months ago
Recognition of On-Line Handwritten Commutative Diagrams
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 ...
Andreas Stoffel, Ernesto Tapia, Raúl Rojas
ICDAR
2009
IEEE
16 years 1 months ago
A Self-Adaptive Method for Extraction of Document-Specific Alphabets
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...
Stefan Pletschacher
ICDAR
2007
IEEE
16 years 26 days ago
On Segmentation of Documents in Complex Scripts
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...
K. S. Kumar, S. Kumar, C. V. Jawahar