Sciweavers

3373 search results - page 21 / 675
» Linear transformations on codes
Sort
View
ICIP
2002
IEEE
15 years 11 months ago
DCT approximation for low bit rate coding using a conditional transform
A transform approximation is explored for speeding up the software compression of images and video. It is used to replace the regular DCT whenever only few DCT coefficients are ac...
Ricardo L. de Queiroz
ICIP
1999
IEEE
15 years 11 months ago
A Rearrangement Algorithm of Wavelet Packet Coefficients for Zerotree Coding
Zerotree coding based on the wavelet transform is a very effective image compression technique. Since it exploits the dyadic multiresolution characteristic of wavelet transform, h...
Hyun Duk Cho, Jong Beom Ra
PROPERTYTESTING
2010
14 years 7 months ago
Some Recent Results on Local Testing of Sparse Linear Codes
We study the local testability of linear codes. We first reformulate this question in the language of tolerant linearity testing under a non-uniform distribution. We then study th...
Swastik Kopparty, Shubhangi Saraf
CSL
2004
Springer
15 years 3 months ago
Predicate Transformers and Linear Logic: Yet Another Denotational Model
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a...
Pierre Hyvernat
ICPP
2000
IEEE
15 years 2 months ago
Partitioning Loops with Variable Dependence Distances
A new technique to parallelize loops with variable distance vectors is presented. The method extends previous methods in two ways. First, the present method makes it possible for ...
Yijun Yu, Erik H. D'Hollander