3342 search results - page 12 / 669 » Symbolic Robustness Analysis |
146
click to vote
ICPR
2008
IEEE
16 years 10 days 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...
173
click to vote
DAC
2004
ACM
15 years 11 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...
141
click to vote
ICDAR
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper describes the specifications for our ground-truthed mathematical character and symbol
178
click to vote
DATE
1999
IEEE
15 years 10 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...
160
click to vote
ICDAR
2007
IEEE
15 years 9 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 ...