3342 search results - page 124 / 669 » Symbolic Robustness Analysis |
132
click to vote
ICDAR
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we present a new technique for estimating an arbitrary skew angle using a simple and efficient text row accumulation based on the statistics of the 1st and 2nd orde...
170
click to vote
DRR
2008
15 years 7 months ago
2008
Line segmentation is the first and the most critical pre-processing step for a document recognition/analysis task. Complex handwritten documents with lines running into each other...
168
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...
127
click to vote
TCOM
2010
15 years 4 months ago
2010
—In this paper we analyze an adaptive downstream multichannel VDSL precoder that is based on error signal feedback. The analysis presents sufficient conditions for precoder conv...
143
click to vote
SODA
2010
ACM
16 years 3 months ago
2010
ACM
We consider the complexity of sorting strings in the model that counts comparisons between symbols and not just comparisons between strings. We show that for any set of strings S ...