3342 search results - page 43 / 669 » Symbolic Robustness Analysis |
145
click to vote
DAS
2008
Springer
15 years 7 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
164
click to vote
PLDI
2010
ACM
15 years 10 months ago
2010
ACM
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
329
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
In this paper we present a novel shape descriptor based on shape context, which in combination with hierarchical distance based hashing is used for word and graphical pattern base...
161
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
153
click to vote
ICDAR
2007
IEEE
15 years 12 months ago
2007
IEEE
In this paper we present AgentSketch, an agentbased system for on-line recognition of hand-drawn diagrams. Agents are used for managing the activity of symbol recognizers and for ...