← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

Projection onto A Nonnegative Max-Heap NIPS 2011
Quadratic Weighted Automata:Spectral Algorithm and Likelihood Maximization ACML 2011
An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011
Generalized roof duality and bisubmodular functions NIPS 2010
Fourier Theoretic Probabilistic Inference over Permutations JMLR 2009
Scalable Algorithms for String Kernels with Inexact Matching NIPS 2008
Polynomial Identification in the Limit of Substitutable Context-free Languages JMLR 2007
Maximum Margin Algorithms with Boolean Kernels JMLR 2005