36320 search results - page 640 / 7264 » From Code to Models |
188
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
174
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
An efficient scalable predictive coding method is proposed for the Wyner-Ziv problem, using nested lattice quantization followed by multi-layer Slepian-Wolf coders (SWC) with laye...
155
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Thispaper presents an information-theoreticstudy ofvideo codecs that are based on the principle of source coding with side information at the decoder In contrast to the classical ...
188
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
The recent JVT video coding scheme (MPEG-4 AVC/H.264) is a promising technique due to its high coding efficiency. Hypothetical Reference Decoder (HRD) is a very important part in ...
193
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—A network with two sensors communicating a remote measurement to a common access point (AP) is investigated. The sensors are connected via out-of-band and finite-capaci...