13603 search results - page 400 / 2721 » On the Computational Complexity of Cut-Reduction |
202
click to vote
FPL
2001
Springer
16 years 3 days ago
2001
Springer
System and processor architectures depend on changes in technology. Looking ahead as die density and speed increase, power consumption and on chip interconnection delay become incr...
240
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper discusses how to utilize both magnitude and phase information obtained from the complex directional lter bank (CDFB) for the purpose of texture image retrieval. The rel...
176
click to vote
ICIP
1997
IEEE
16 years 9 months ago
1997
IEEE
We develop a new approach to image denoising based on complexity regularization. This technique presents a flexible alternative to the more conventional l2 , l1 , and Besov regula...
209
click to vote
ICALP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study – within the framework of propositional proof complexity – the problem of certifying unsatisfiability of CNF formulas under the promise that any satisfiabl...
170
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
- The novel CORDIC-based architecture of the these weights (combiner unit). The implementation of the Triangular Systolic Array for QRD of large size complex combiner unit is rathe...