314 search results - page 38 / 63 » Arithmetic Coding Revisited |
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
In implementing an efficient block coder for JPEG2000, the memories required for storing the state variables dominate the hardware cost of a block coder. In this paper, we propose...
IJCNN
2008
IEEE
15 years 4 months ago
2008
IEEE
—In this paper, we propose an efficient and low complexity image coding algorithm based on the lifting wavelet transform and listless modified SPIHT (LWT-LMSPIHT). LWT-LMSPIHT jo...
ICIP
1998
IEEE
15 years 11 months ago
1998
IEEE
Robust transmission of images is achieved by using xed and variable-length coding together without much loss in compression e ciency. The probability distribution function of a DC...
TACAS
2007
Springer
15 years 4 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
107
click to vote
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...