3107 search results - page 344 / 622 » Error-Correcting Source Code |
152
Voted
ICIP
2004
IEEE
16 years 5 months ago
2004
IEEE
In this paper, we consider dynamic resource allocation for object-based wireless video communications. In object-based video coding, a video frame is comprised of objects that are...
129
click to vote
ICIP
2002
IEEE
16 years 5 months ago
2002
IEEE
In this paper, we introduce an approach for adaptive minimization of the total power consumption of wireless video communications subject to a given level of quality of service. O...
227
click to vote
CC
2009
Springer
16 years 4 months ago
2009
Springer
This paper presents a compiler which produces machine code from functions defined in the logic of a theorem prover, and at the same time proves that the generated code executes the...
125
click to vote
PERCOM
2008
ACM
16 years 3 months ago
2008
ACM
Many pervasive computing systems have been built for using mobile computers to interact with networked devices. To deploy a device's user-interface, several systems dynamical...
141
click to vote
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
Rate distortion optimization with Lagrangian formulation is widely used in video encoder control and has proved effective in achieving a good trade-off between coding efficiency a...