Sciweavers

215 search results - page 10 / 43
» An axiomatic approach to image interpolation
Sort
View
CAV
2005
Springer
122views Hardware» more  CAV 2005»
15 years 7 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»
15 years 1 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
16 years 2 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
88
Voted
VLBV
2005
Springer
15 years 7 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
14 years 1 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...