Sciweavers

1717 search results - page 62 / 344
» A Computable Spectral Theorem
Sort
View
119
Voted
IJCAI
1989
15 years 5 months ago
Visual Reasoning in Geometry Theorem Proving
We study the role of visual reasoning as a computationally feasible heuristic tool in geometry problem solving. We use an algebraic notation to represent geometric objects and to ...
Michelle Y. Kim
130
Voted
IPL
2000
77views more  IPL 2000»
15 years 3 months ago
Simplified proof of the Fourier Sampling Theorem
We give a short and simple proof of Hales and Hallgren's Fourier Sampling Theorem ["Quantum Fourier Sampling Simplified", Proceedings of the Thirty-First Annual ACM...
Peter Høyer
CVPR
2009
IEEE
16 years 11 months ago
Coupled Spectral Regression for Matching Heterogeneous Faces
Face recognition algorithms need to deal with variable lighting conditions. Near infrared (NIR) image based face recognition technology has been proposed to effectively overcome...
Stan Z. Li, Zhen Lei
CVPR
1997
IEEE
16 years 6 months ago
Pictorial Recognition Using Affine-Invariant Spectral Signatures
This paper describes an efficient approach to pose invariant object recognition employing pictorial recognition of image patches. A complete affine invariance is achieved by a rep...
Jezekiel Ben-Arie, Zhiqian Wang
BICOB
2009
Springer
15 years 10 months ago
Graph Spectral Approach for Identifying Protein Domains
Here we present a simple method based on graph spectral properties to automatically partition multi-domain proteins into individual domains. The identification of structural domain...
Hari Krishna Yalamanchili, Nita Parekh