Sciweavers

5707 search results - page 92 / 1142
» Symbolic Simulation - Techniques and Applications
Sort
View
PIMRC
2008
IEEE
15 years 4 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
159views Communications» more  VTC 2008»
15 years 4 months ago
Binary Demodulation in Rayleigh Fading with Noisy Channel Estimates - Detector Structures and Performance
Abstract— In previous work, we studied the structure and performance of optimum maximum-likelihood receivers for binary antipodal and orthogonal signals in the presence of Gaussi...
Amir Ali Basri, Teng Joon Lim
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
15 years 4 months ago
Inducing a generative expressive performance model using a sequential-covering genetic algorithm
In this paper, we describe an evolutionary approach to inducing a generative model of expressive music performance for Jazz saxophone. We begin with a collection of audio recordin...
Rafael Ramirez, Amaury Hazan
ADMA
2006
Springer
149views Data Mining» more  ADMA 2006»
15 years 3 months ago
An Interactive Visualization Environment for Data Exploration Using Points of Interest
We present in this paper an interactive method for numeric or symbolic data visualization that allows a domain expert to extract useful knowledge and information. We propose a new ...
David Da Costa, Gilles Venturini
FMCAD
2009
Springer
15 years 1 months ago
Generalized, efficient array decision procedures
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...