1717 search results - page 203 / 344 » A Computable Spectral Theorem |
194
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
191
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract. Notoriously, quantum computation shatters complexity theory, but is innocuous to computability theory [17]. Yet several works have shown how quantum theory as it stands c...
179
click to vote
ECCV
2004
Springer
16 years 7 months ago
2004
Springer
Abstract. This paper addresses the problem of clustering images of objects seen from different viewpoints. That is, given an unlabelled set of images of n objects, we seek an unsup...
209
click to vote
JPDC
2006
15 years 6 months ago
2006
The rapid development of space and computer technologies has made possible to store a large amount of remotely sensed image data, collected from heterogeneous sources. In particul...
158
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper is concerned with computing graph edit distance. One of the criticisms that can be leveled at existing methods for computing graph edit distance is that it lacks the fo...