An integrated OCR system for mathematical documents, called INFTY, is presented. INFTY consists of four procedures, i.e., layout analysis, character recognition, structure analysi...
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...
—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...
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 ...
— 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. ...