Sciweavers

174 search results - page 19 / 35
» Side-information Scalable Source Coding
Sort
View
ICSE
2004
IEEE-ACM
14 years 8 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
ICIP
2001
IEEE
14 years 9 months ago
Joint source-channel coding for scalable video over DS-CDMA multipath fading channels
In this paper, we extend our previous work onjoint source-channel coding to scalablevideo transmissionover wireless direct-sequence code-division-multiple-access(DS-CDMA)multipath...
Lisimachos P. Kondi, Stella N. Batalama, Dimitrios...
ICIP
2005
IEEE
14 years 9 months ago
Joint source-network error control coding for scalable overlay video streaming
In this paper, we propose a Joint Source-Network error control coding (JSNC) scheme which efficiently integrates scalable video coding, error control coding and overlay infrastruc...
Yufeng Shan, Shivkumar Kalyanaraman, John W. Woods...
CORR
2008
Springer
87views Education» more  CORR 2008»
13 years 8 months ago
The Rate Loss of Single-Letter Characterization: The "Dirty" Multiple Access Channel
For general memoryless systems, the typical information theoretic solution - when exists - has a "single-letter" form. This reflects the fact that optimum performance ca...
Tal Philosof, Ram Zamir
ICMCS
2005
IEEE
82views Multimedia» more  ICMCS 2005»
14 years 1 months ago
Globally Optimal Uneven Erasure-Protected Multi-Group Packetization of Scalable Codes
We study the problem of rate-distortion optimal packetization with uneven erasure protection (UEP) of scalable source sequence, into multiple groups of packets. The grouping of pa...
Sorina Dumitrescu, Xiaolin Wu