Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
In this paper, a new weighted adaptive lifting (WAL)-based wavelet transform is presented. The proposed WAL approach is designed to solve the problems existing in the previous adap...
Fourier-based forward and back-projection methods have the potential to reduce computation demands in iterative tomographic image reconstruction. Interpolation errors are a limita...
In this paper we propose a very simple FIR pre-filter based method for near optimal least-squares linear approximation of discrete time signals. A digital pre-processing filter,...
Marco Dalai, Riccardo Leonardi, Pierangelo Miglior...
The ability to generate intermediate frames between two given images in a video sequence is an essential task for video restoration and video post-processing. In addition, restorat...
Manuel Werlberger, Thomas Pock, Markus Unger, Hors...