Sciweavers

215 search results - page 10 / 43
» An axiomatic approach to image interpolation
Sort
View
83
Voted
CAV
2005
Springer
122views Hardware» more  CAV 2005»
15 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
75
Voted
TIP
2008
105views more  TIP 2008»
14 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
56
Voted
ISBI
2004
IEEE
15 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
15 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
13 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...