314 search results - page 43 / 63 » Arithmetic Coding Revisited |
ISSAC
2009
Springer
15 years 4 months ago
2009
Springer
The computation of triangular decompositions involves two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose new...
SAFECOMP
2007
Springer
15 years 3 months ago
2007
Springer
In future, the decreasing feature size and the reduced power supply will make it much more difficult to built reliable microprocessors. Economic pressure will most likely result in...
ICIP
2000
IEEE
15 years 2 months ago
2000
IEEE
We have developed a scalable image compression scheme with a good performance-complexity trade-off. Like JPEG, it is based on the 8 × 8 block discrete cosine transform (DCT), but...
DCC
1995
IEEE
15 years 1 months ago
1995
IEEE
A JBIG compliant, quadtree based, lossless image compression algorithm is described. In terms of the number of arithmetic coding operations required to code an image, this algorit...
ENTCS
2008
14 years 10 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...