3690 search results - page 72 / 738 » Computation with classical sequents |
149
click to vote
PAMI
2011
14 years 4 months ago
2011
Optimization is a powerful paradigm for expressing and solving problems in a wide range of areas, and has been successfully applied to many vision problems. Discrete optimization ...
SIAMNUM
2011
14 years 4 months ago
2011
We develop and analyze least-squares finite element methods for two complementary div-curl elliptic boundary value problems. The first one prescribes the tangential component of ...
MCS
2010
Springer
15 years 4 months ago
2010
Springer
A method for applying weighted decoding to error-correcting output code ensembles of binary classifiers is presented. This method is sensitive to the target class in that a separa...
ICML
2009
IEEE
15 years 4 months ago
2009
IEEE
In classification with monotonicity constraints, it is assumed that the class label should increase with increasing values on the attributes. In this paper we aim at formalizing ...
ISMIR
2004
Springer
15 years 3 months ago
2004
Springer
Recent research has studied the relevance of various features for automatic genre classification, showing the particular importance of tempo in dance music classification. We co...