Sciweavers

3342 search results - page 3 / 669
» Symbolic Robustness Analysis
Sort
View
ICDAR
2009
IEEE
14 years 15 days ago
Inductive Logic Programming for Symbol Recognition
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
K. C. Santosh, Bart Lamiroy, Jean-Philippe Ropers
ICDAR
2009
IEEE
14 years 15 days ago
Online Recognition of Multi-Stroke Symbols with Orthogonal Series
We propose an efficient method to recognize multi-stroke handwritten symbols. The method is based on computing the truncated Legendre-Sobolev expansions of the coordinate functio...
Oleg Golubitsky, Stephen M. Watt
IBPRIA
2007
Springer
13 years 12 months ago
Handwritten Symbol Recognition by a Boosted Blurred Shape Model with Error Correction
One of the major difficulties of handwriting recognition is the variability among symbols because of the different writer styles. In this paper we introduce the boosting of blurre...
Alicia Fornés, Sergio Escalera, Josep Llad&...
ICCAD
1999
IEEE
77views Hardware» more  ICCAD 1999»
13 years 10 months ago
Symbolic functional and timing verification of transistor-level circuits
We introduce a new method of verifying the timing of custom CMOS circuits. Due to the exponential number of patterns required, traditional simulation methods are unable to exhaust...
Clayton B. McDonald, Randal E. Bryant
ICPR
2004
IEEE
14 years 6 months ago
Coordinate Systems Reconstruction for Graphical Documents by Hough-feature Clustering and Geometric Analysis
Two-dimensional and three-dimensional coordinate systems are the basic graphics symbols in many graphical documents. A robust coordinate system detection scheme is needed in order...
Chew Lim Tan, Yan Ping Zhou