736 search results - page 56 / 148 » Algorithms for Ordinal Arithmetic |
ICIP
2000
IEEE
14 years 9 months ago
2000
IEEE
This paper describes methods for adapting the scanning order through wavelet transform values used in the Wavelet Difference Reduction (WDR) algorithm of Tian and Wells. These new...
MMSP
2008
IEEE
14 years 2 months ago
2008
IEEE
—The use of multiple entropy models for Huffman or arithmetic coding is widely used to improve the compression efficiency of many algorithms when the source probability distribu...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
SODA
2012
ACM
11 years 10 months ago
2012
ACM
We investigate fast algorithms for changing between the standard basis and an orthogonal basis of idempotents for M¨obius algebras of finite lattices. We show that every lattice...