2827 search results - page 228 / 566 » Robustness of PSPACE-complete sets |
138
click to vote
ACIVS
2005
Springer
15 years 9 months ago
2005
Springer
We describe a method for removing quantization artifacts (de-quantizing) in the image domain, by enforcing a high degree of sparseness in its representation with an overcomplete or...
123
click to vote
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
138
click to vote
TYPES
2000
Springer
15 years 7 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
124
click to vote
SGP
2007
15 years 6 months ago
2007
Discrete Laplace operators are ubiquitous in applications spanning geometric modeling to simulation. For robustness and efficiency, many applications require discrete operators th...
146
click to vote
VMV
2001
15 years 5 months ago
2001
Multimodal image registration is a fundamental problem in medical image analysis. In this paper, we propose a novel algorithm to compute the local frequency representations of the...