Sciweavers

1579 search results - page 100 / 316
» On the Constructions of Constant-Weight Codes
Sort
View
DCC
2000
IEEE
15 years 2 months ago
Multi-Resolution Adaptation of the SPIHT Algorithm for Multiple Description
Multiple description codes are data compression algorithms designed with the goal of minimizing the distortion caused by data loss in packet-based or diversity communications syst...
Nedeljko Varnica, Michael Fleming, Michelle Effros
TPHOL
2007
IEEE
15 years 4 months ago
Extracting Purely Functional Contents from Logical Inductive Types
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
David Delahaye, Catherine Dubois, Jean-Fréd...
ISSAC
1998
Springer
88views Mathematics» more  ISSAC 1998»
15 years 2 months ago
Multidimensional Chains of Recurrences
A technique to expedite iterative computations which is based on multidimensional chains of recurrences MCR is presented. Algorithms for MCR construction, interpretation and MCR-b...
V. Kislenkov, V. Mitrofanov, Eugene V. Zima
ICIP
2003
IEEE
15 years 11 months ago
Highly scalable video compression with scalable motion coding
A scalable video coder cannot be equally efficient over a wide range of bit-rates unless both the video data and the motion information are scalable. We propose a wavelet-based, h...
Andrew Secker, David Taubman
DAC
2004
ACM
15 years 11 months ago
Multi-profile based code compression
Code compression has been shown to be an effective technique to reduce code size in memory constrained embedded systems. It has also been used as a way to increase cache hit ratio...
Eduardo Wanderley Netto, Rodolfo Azevedo, Paulo Ce...