1183 search results - page 63 / 237 » Efficient Wet Paper Codes |
84
Voted
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
IJISEC
2008
14 years 10 months ago
2008
We study the multicast stream authentication problem when an opponent can drop, reorder and introduce data packets into the communication channel. In such a model, packet overhead...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
Video representations that support view synthesis based on depth maps, such as multiview plus depth (MVD), have been recently proposed, raising interest in efficient tools for dep...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Distributed Video Coding (DVC) is a coding paradigm that gives the decoder the task to exploit the source statistics to achieve efficient compression. Current approaches to DVC rel...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
Wavelet transform based image coding algorithms have the two inherent scalable features of SNR scalability and spatial (or resolution) scalability. However, fine scalability is sup...