Sciweavers

523 search results - page 44 / 105
» codes 2011
Sort
View
POPL
2011
ACM
14 years 3 months ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken
FOSSACS
2011
Springer
14 years 4 months ago
Irrelevance in Type Theory with a Heterogeneous Equality Judgement
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
Andreas Abel
IPM
2011
71views more  IPM 2011»
14 years 4 months ago
Improving semistatic compression via phrase-based modeling
In recent years, new semistatic word-based byte-oriented text compressors, such as Tagged Huffman and those based on Dense Codes, have shown that it is possible to perform fast d...
Nieves R. Brisaboa, Antonio Fariña, Gonzalo...
102
Voted
ICASSP
2011
IEEE
14 years 4 months ago
SIC receiver for polyphonic piano music
In this paper, a Successive Interference Cancellation (SIC) receiver typically used for Code Division Multiple Access (CDMA) communications is developed to be used as piano chord ...
Ana M. Barbancho, Isabel Barbancho, Beatriz Soto, ...
91
Voted
ICASSP
2011
IEEE
14 years 4 months ago
Entropy-constrained quantization of exponentially damped sinusoids parameters
Sinusoidal modeling is traditionally one of the most popular techniques for low bitrate audio coding. Usually, the sinusoidal parameters are kept constant within a time segment bu...
Olivier Derrien, Roland Badeau, Gaël Richard