Sciweavers

817 search results - page 60 / 164
» Decoding Choice Encodings
Sort
View
DCC
2008
IEEE
16 years 1 months ago
Compression of Hyperspectral Images with LVQ-SPECK
We discuss the use of lattice vector quantizers in conjunction with a quadtree-based sorting algorithm for the compression of multidimensional data sets, as encountered, for examp...
Alessandro J. S. Dutra, William A. Pearlman, Eduar...
121
Voted
ICIP
2007
IEEE
16 years 3 months ago
Complexity-Rate-Distortion Analysis of Backward Channel Aware Wyner-Ziv Video Coding
Many Wyner-Ziv video coding (WZVC) schemes encode a video sequence into two types of frames, key frames and Wyner-Ziv frames. We have previously presented a Wyner-Ziv video coding...
Limin Liu, Zhen Li, Edward J. Delp
98
Voted
VLSID
2003
IEEE
108views VLSI» more  VLSID 2003»
16 years 2 months ago
A Low Power-Delay Product Page-Based Address Bus Coding Method
The working-zone encoding (WZE) method employing locality of memory reference was previously proposed to reduce address bus switching activity. This paper presents an encoding met...
Chi-Ming Tsai, Guang-Wan Liao, Rung-Bin Lin
101
Voted
WCNC
2008
IEEE
15 years 8 months ago
Achievable Rates for the Three User Cooperative Multiple Access Channel
— For a three user Gaussian multiple access channel (MAC), we propose a new superposition block Markov encoding based cooperation scheme. Our scheme allows the three users to sim...
Çagatay Edemen, Onur Kaya
128
Voted
CADE
2000
Springer
15 years 6 months ago
Machine Instruction Syntax and Semantics in Higher Order Logic
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
Neophytos G. Michael, Andrew W. Appel