3342 search results - page 5 / 669 » Symbolic Robustness Analysis |
ICCD
1993
IEEE
13 years 11 months ago
1993
IEEE
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...
WCRE
2005
IEEE
14 years 1 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
DAS
2010
Springer
13 years 10 months ago
2010
Springer
We address the problem of handwritten symbol classification in the presence of distortions modeled by affine transformations. We consider shear, rotation, scaling and translation,...
FMCAD
2004
Springer
14 years 24 days ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
We present a new approach for recognition of complex graphic symbols in technical documents. Graphic symbol recognition is a well known challenge in the field of document image an...