Sciweavers

819 search results - page 79 / 164
» Fractal symbolic analysis
Sort
View
DOCENG
2003
ACM
14 years 2 months ago
INFTY: an integrated OCR system for mathematical documents
An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
Masakazu Suzuki, Fumikazu Tamari, Ryoji Fukuda, Se...
ISOLA
2010
Springer
13 years 7 months ago
A Memory Model for Static Analysis of C Programs
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...
Zhongxing Xu, Ted Kremenek, Jian Zhang
TCOM
2010
68views more  TCOM 2010»
13 years 7 months ago
Convergence Analysis of Downstream VDSL Adaptive Multichannel Partial FEXT Cancellation
—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...
Itsik Bergel, Amir Leshem
SODA
2010
ACM
149views Algorithms» more  SODA 2010»
14 years 6 months ago
Data-Specific Analysis of String Sorting
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 ...
Raimund Seidel
VTC
2007
IEEE
14 years 3 months ago
Peak-to-Average Power Ratio Analysis for NC-OFDM Transmissions
— In this paper, we present a statistical analysis of the peak-to-average power ratio (PAPR) for non-contiguous orthogonal frequency division multiplexing (NC-OFDM) signals. When...
Rakesh Rajbanshi, Alexander M. Wyglinski, Gary J. ...