491 search results - page 54 / 99 » Linear Quantifier Elimination |
ISQED
2002
IEEE
14 years 1 months ago
2002
IEEE
The design methods and the automation of the comparator circuit layout generation for a flash A/D converter are presented in this paper. The threshold inverter quantization (TIQ)...
Publication
In this note, improvements to the non-local means
image denoising method introduced in [2], [3] are presented.
The original non-local means method replaces a noisy pixel by
the ...
EUROPAR
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We investigate the performance of two approaches for matrix inversion based on Gaussian (LU factorization) and Gauss-Jordan eliminations. The target architecture is a cur...
APL
1998
ACM
14 years 1 months ago
1998
ACM
This article describes how array predicates were used to reduce the computational complexity of four APL primitive functions when one of their arguments is a permutation vector. T...
COMPGEOM
1998
ACM
14 years 1 months ago
1998
ACM
Abstract. We propose a simple, general, randomized technique to reduce certain geometric optimization problems to their corresponding decision problems. These reductions increase t...