3690 search results - page 134 / 738 » Computation with classical sequents |
109
Voted
DAGSTUHL
2006
15 years 1 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...
79
Voted
COMBINATORICS
2007
15 years 14 days 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...
100
Voted
NECO
2006
15 years 13 days 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 11 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...
188
Voted
CVPR
2011
IEEE
14 years 8 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...