To be efficient, data protection algorithms should generally exploit the properties of the media information in the transform domain. In this paper, we will advocate the use of no...
Philippe Jost, Pierre Vandergheynst, Pascal Frossa...
Rate-Distortion optimization can significantly improve encoder performance in MPEG-like video coding applications especially when it is applied to coding mode selection and motion...
Overlay networks offer promising capabilities for video streaming, due to their support for application-layer processing at the overlay forwarding nodes. In this paper we propose ...
Yufeng Shan, Ivan V. Bajic, Shivkumar Kalyanaraman...
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...
Haohong Wang, Yiftach Eisenberg, Fan Zhai, Aggelos...
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
Dirk Beyer, Adam J. Chlipala, Thomas A. Henzinger,...