Sciweavers

553 search results - page 26 / 111
» Quality Improvement in Annotated Code
Sort
View
FM
2008
Springer
137views Formal Methods» more  FM 2008»
13 years 9 months ago
JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity
Abstract. The Java Modeling Language (JML) recently switched to an assertion semantics based on "strong validity" in which an assertion is taken to be valid precisely whe...
Patrice Chalin, Frédéric Rioux
ICIP
2001
IEEE
14 years 9 months ago
A rate-distortion optimal video pre-processing algorithm
Pre-processing algorithms improve the quality of a compression system by removing unimportant data before encoding. This enhances both the visual quality and coding efficiency of ...
C. Andrew Segall, Passant V. Karunaratne, Aggelos ...
ICMCS
2006
IEEE
104views Multimedia» more  ICMCS 2006»
14 years 1 months ago
A Study on Spatial Scalable Coding using Vector Representation
The major advantage of vector representation of an image is that the image quality is maintained for arbitrary scaling. In recent years, a demand for scalable image coding has bee...
Yuki Yamamoto, Kei Kawamura, Hiroshi Watanabe
ICIP
2009
IEEE
14 years 8 months ago
Video Coding Using Global Motion Temporal Filtering
Recent deblocking techniques are based on spatial filtering. We present a new deblocking technique based on temporal filtering of spatially aligned frames. This approach is used i...
ISM
2008
IEEE
127views Multimedia» more  ISM 2008»
14 years 2 months ago
Optimized Bit Extraction Using Distortion Estimation in the Scalable Extension of H.264/AVC
The newly adopted scalable extension of H.264/AVC video coding standard (SVC), demonstrates significant improvements in coding efficiency in addition to an increased degree of s...
Ehsan Maani, Aggelos K. Katsaggelos