3690 search results - page 134 / 738 » Computation with classical sequents |
DAGSTUHL
2006
14 years 11 months ago
2006
Generalizing earlier work characterizing the quantum query complexity of computing a function of an unknown classical "black box" function drawn from some set of such bl...
COMBINATORICS
2007
14 years 10 months ago
2007
We use methods of combinatorics of polytopes together with geometrical and computational ones to obtain the complete list of compact hyperbolic Coxeter npolytopes with n + 3 facet...
NECO
2006
14 years 10 months ago
2006
Boltzmann machine is a classic model of neural computation, and a number of methods have been proposed for its estimation. Most methods are plagued by either very slow convergence...
SIAMDM
2010
14 years 8 months ago
2010
We introduce notions of linear reduction and linear equivalence of bijections for the purposes of study bijections between Young tableaux. Originating in Theoretical Computer Scie...
129
click to vote
CVPR
2011
IEEE
14 years 6 months ago
2011
IEEE
Recently the sparse representation (or coding) based classification (SRC) has been successfully used in face recognition. In SRC, the testing image is represented as a sparse lin...