314 search results - page 32 / 63 » Arithmetic Coding Revisited |
ECCC
2010
14 years 10 months ago
2010
The IP theorem, which asserts that IP = PSPACE (Lund et. al., and Shamir, in J. ACM 39(4)), is one of the major achievements of complexity theory. The known proofs of the theorem ...
111
click to vote
INTEGRATION
2008
14 years 9 months ago
2008
Abstract: Hybrid-redundant number representation has provided a flexible framework for digitparallel addition in a manner that facilitates area-time tradeoffs for VLSI implementati...
ICIP
2001
IEEE
15 years 11 months ago
2001
IEEE
Image transmission over low-bandwidth channels can be speeded up if the image coding mechanism supports regions of interest (RoIs). By such a scheme, image parts not belonging to ...
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
This paper shows how a machine-code Hoare logic is used to lift reasoning from the tedious operational model of a machine lana manageable level of abstraction without making simpli...
107
click to vote
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
Compression ratio and computational complexity are two major factors for a successful image coder. By exploring the Laplacian distribution of the wavelet coefficients, a new bit ...