Sciweavers

184 search results - page 9 / 37
» Superposition for Fixed Domains
Sort
View
100
Voted
ICIP
1999
IEEE
15 years 4 months ago
Wavelet-Domain Regularized Deconvolution for ILL-Conditioned Systems
by 0. In the discrete Fourier transform (DFT) domain, We propose a hybrid approach to wavelet-based image deconvolution that comprises Fourier-domain system inversion followed by w...
Ramesh Neelamani, Hyeokho Choi, Richard G. Baraniu...
116
Voted
IJCAI
2003
15 years 1 months ago
On a generalization of triangulated graphs for domains decomposition of CSPs
In [Jegou, 1993], a decomposition method has been introduced for improving search efficiency in the area of Constraint Satisfaction Problems. This method is based on properties of...
Assef Chmeiss, Philippe Jégou, Lamia Keddar
HPCA
2005
IEEE
16 years 23 days ago
Scatter-Add in Data Parallel Architectures
Many important applications exhibit large amounts of data parallelism, and modern computer systems are designed to take advantage of it. While much of the computation in the multi...
Jung Ho Ahn, Mattan Erez, William J. Dally
AMAI
2007
Springer
15 years 16 days ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
15 years 4 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm