1717 search results - page 128 / 344 » A Computable Spectral Theorem |
142
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Boolean satisfiability problems are an important benchmark for questions about complexity, algorithms, heuristics and threshold phenomena. Recent work on heuristics, and the satis...
140
click to vote
CSL
2010
Springer
15 years 5 months ago
2010
Springer
We shall discuss several situations in which it is possible to extract from a proof, be it a proof in a first-order theory or a propositional proof, some feasible computational inf...
138
click to vote
JCNS
2000
15 years 4 months ago
2000
Abstract. The spectrotemporal receptive field (STRF) is a functional descriptor of the linear processing of timevarying acoustic spectra by the auditory system. By cross-correlatin...
146
click to vote
APPML
2005
15 years 4 months ago
2005
We consider a fourth-order eigenvalue problem on a semi-infinite strip which arises in the study of viscoelastic shear flow. The eigenvalues and eigenfunctions are computed by a s...
131
click to vote
CVPR
2010
IEEE
16 years 6 days ago
2010
IEEE
We introduce a parametric version (pDRUR) of the recently proposed Dimensionality Reduction by Unsupervised Regression algorithm. pDRUR alternately minimizes reconstruction error ...