Sciweavers

1038 search results - page 187 / 208
» Code Compression
Sort
View
ESOP
2007
Springer
14 years 4 months ago
Small Witnesses for Abstract Interpretation-Based Proofs
tnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, F-35042 R...
Frédéric Besson, Thomas P. Jensen, T...
IPPS
2006
IEEE
14 years 3 months ago
MPEG-2 decoding in a stream programming language
Image and video codecs are prevalent in multimedia devices, ranging from embedded systems, to desktop computers, to high-end servers such as HDTV editing consoles. It is not uncom...
M. Drake, Henry Hoffmann, Rodric M. Rabbah, Saman ...
MM
2004
ACM
117views Multimedia» more  MM 2004»
14 years 3 months ago
Optimized mesh and texture multiplexing for progressive textured model transmission
An optimized scheme of multiplexing coded mesh and texture data to facilitate progressive transmission of 3D textured models is proposed in this work. The mesh and texture data of...
Sheng Yang, Chao-Hua Lee, C. C. Jay Kuo
STOC
2007
ACM
101views Algorithms» more  STOC 2007»
14 years 10 months ago
The price of privacy and the limits of LP decoding
This work is at the intersection of two lines of research. One line, initiated by Dinur and Nissim, investigates the price, in accuracy, of protecting privacy in a statistical dat...
Cynthia Dwork, Frank McSherry, Kunal Talwar
ICIP
2006
IEEE
14 years 11 months ago
A Lifting-Based Wavelet Transform Supporting Non-Dyadic Spatial Scalability
In subband image and video compression, the issue of dyadic spatial scalability with a downsizing ratio of 2:1 has already been widely investigated. In some application scenarios,...
Ruiqin Xiong, Jizheng Xu, Feng Wu