1717 search results - page 248 / 344 » A Computable Spectral Theorem |
168
click to vote
SAC
2010
ACM
15 years 3 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
160
click to vote
ICIP
2006
IEEE
16 years 7 months ago
2006
IEEE
Dimensionality reduction, spectral classification and segmentation are the three main problems in hyperspectral image analysis. In this paper we propose a Bayesian estimation appr...
159
click to vote
ICIP
1998
IEEE
16 years 7 months ago
1998
IEEE
Generalized Hermite polynomials in two variables are employed for the reconstruction of images from a knowledge of their zero crossing contours. The problem of reconstruction of s...
221
click to vote
GIS
2007
ACM
16 years 6 months ago
2007
ACM
This paper is committed to explore object-oriented methods for the classification of Quickbird images, aiming to support future urban population estimates. The study area concerns...
131
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
Off-chip decoupling capacitor (decap) allocation is a demanding task during package and chip codesign. Existing approaches can not handle large numbers of I/O counts and large num...