1717 search results - page 65 / 344 » A Computable Spectral Theorem |
164
click to vote
KAIS
2011
14 years 11 months ago
2011
Triangle counting is an important problem in graph mining. Two frequently used metrics in complex network analysis which require the count of triangles are the clustering coefficie...
177
click to vote
CADE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
141
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Given a finite number of data points sampled from a low-dimensional manifold embedded in a high dimensional space together with the parameter vectors for a subset of the data poin...
110
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
In this study Principal Component Analysis (PCA), Non-negative Matrix Factorization (NMF) and Nonnegative Tensor Factorization (NTF) are applied as dimension reduction methods in ...
161
click to vote
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
The problem of face verification across the short wave infrared spectrum (SWIR) is studied in order to illustrate the advantages and limitations of SWIR face verification. The cont...