Sciweavers

555 search results - page 33 / 111
» Between Symbol and Language-in-use
Sort
View
ICPR
2008
IEEE
14 years 9 months ago
Online recognition of handwritten mathematical expressions with support for matrices
We present an online system for recognizing handwritten mathematical matrices in the context of an interactive computational tool called MathPaper. Automatic segmentation and reco...
Chuanjun Li, Robert C. Zeleznik, Timothy Miller, J...
PIMRC
2008
IEEE
14 years 2 months ago
Blind channel estimation based on Second Order Statistics for IFDMA
—In this paper, the Interleaved Frequency Division Multiple Access (IFDMA) scheme is considered as a special case of Discrete Fourier Transform (DFT)-precoded Orthogonal Frequenc...
Anja Sohl, Anja Klein
VTC
2008
IEEE
150views Communications» more  VTC 2008»
14 years 2 months ago
Iterative Residual Frequency Offset Correction for OFDM Systems
The estimation and tracking of the fractional carrier frequency offset (CFO) is a crucial issue in the implementation of orthogonal frequency division multiplexing (OFDM) systems....
Mohamed Marey, Mamoun Guenach, Heidi Steendam
ICC
2007
IEEE
14 years 2 months ago
Training Optimization for Gauss-Markov Rayleigh Fading Channels
— 1 In this paper, pilot-assisted transmission over Gauss-Markov Rayleigh fading channels is considered. A simple scenario, where a single pilot signal is transmitted every T sym...
Sami Akin, Mustafa Cenk Gursoy
VMCAI
2007
Springer
14 years 1 months ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans