Sciweavers

215 search results - page 10 / 43
» An axiomatic approach to image interpolation
Sort
View
CAV
2005
Springer
122views Hardware» more  CAV 2005»
14 years 3 months ago
Interpolant-Based Transition Relation Approximation
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...
Ranjit Jhala, Kenneth L. McMillan
TIP
2008
105views more  TIP 2008»
13 years 9 months ago
Weighted Adaptive Lifting-Based Wavelet Transform for Image Coding
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...
Yu Liu, King Ngi Ngan
ISBI
2004
IEEE
14 years 10 months ago
Fourier-Based Forward and Back-Projectors in Iterative Fan-Beam Tomographic Image Reconstruction
Fourier-based forward and back-projection methods have the potential to reduce computation demands in iterative tomographic image reconstruction. Interpolation errors are a limita...
Yingying Zhang, Jeffrey A. Fessler
VLBV
2005
Springer
14 years 3 months ago
Efficient Digital Pre-filtering for Least-Squares Linear Approximation
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...
EMMCVPR
2011
Springer
12 years 9 months ago
Optical Flow Guided TV-L1 Video Interpolation and Restoration
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...