981 search results - page 55 / 197 » Symbolic pointer analysis |
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
ICDAR
2009
IEEE
13 years 6 months ago
2009
IEEE
This paper describes a document recognition system for 16th century German staffless lute tablature notation. We present methods for page layout analysis, symbol recognition and s...
LCPC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
ICIP
2009
IEEE
14 years 10 months ago
2009
IEEE
Symbol spotting problem requires feature extraction strategies able to generalize from training samples and to localize the target object while discarding most part of the image. ...
IBPRIA
2007
Springer
14 years 3 months ago
2007
Springer
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...