3342 search results - page 12 / 669 » Symbolic Robustness Analysis |
ICPR
2008
IEEE
15 years 3 months ago
2008
IEEE
In online handwritten math expression recognition, one-pass dynamic programming can produce highquality symbol graphs in addition to best symbol sequence hypotheses [3], especiall...
DAC
2004
ACM
15 years 2 months ago
2004
ACM
—This paper proposes a novel approach to the exact symbolic analysis of very large analog circuits. The new method is based on determinant decision diagrams (DDDs) representing s...
ICDAR
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes the specifications for our ground-truthed mathematical character and symbol
101
click to vote
DATE
1999
IEEE
15 years 1 months ago
1999
IEEE
Reachability analysis of finite state machines is essential to many computer-aided design applications. We present new techniques to improve both approximate and exact reachabilit...
ICDAR
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper presents a syntactic recognition approach for on-line drawn graphical symbols. The proposed method consists in an incremental on-line predictive parser based on symbol ...