We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
Many applications require the derivatives of functions defined by computer programs. Automatic differentiation (AD) is a means of developing code to compute the derivatives of com...
This paper revisits the use of the Taylor series method for the numerical integration of ODEs and DAEs. The numerical method is implemented using an efficient variablestep variabl...
In this paper, we present an efficient region-based video coding scheme. The region partioning is optimized according to a rate-distortion criterion in order to achieve constant b...
This paper presents a novel fuzzy stochastic Kalman filter for compression of digital images. In particular, it is shown that the state evolution of the synthesis coefficients of ...