Sciweavers

132 search results - page 18 / 27
» Regular Decompositions
Sort
View
SIP
2003
13 years 8 months ago
An Algebraic Approach to M-band Wavelets Construction
This paper presents an algebraic approach to construct Mband orthogonal wavelet bases. A system of constraint equations is obtained for M-band orthonormal filters, and then a solu...
Tony Lin, Qingyun Shi, Pengwei Hao
FMSD
2008
110views more  FMSD 2008»
13 years 7 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur
SIAMSC
2010
158views more  SIAMSC 2010»
13 years 5 months ago
Solving Constrained Total-variation Image Restoration and Reconstruction Problems via Alternating Direction Methods
In this paper, we study alternating direction methods for solving constrained total-variation image restoration and reconstruction problems. Alternating direction methods can be im...
Michael K. Ng, Pierre Weiss, Xiaoming Yuan
ICIP
2005
IEEE
14 years 9 months ago
New image transforms using hybrid wavelets and directional filter banks: analysis and design
We propose a new family of perfect reconstruction, non-redundant, and multiresolution geometrical image transforms using the wavelet transform in conjunction with modified versions...
Ramin Eslami, Hayder Radha
SCALESPACE
2007
Springer
14 years 1 months ago
A Consistent Spatio-temporal Motion Estimator for Atmospheric Layers
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
Patrick Héas, Étienne Mémin, ...