442 search results - page 63 / 89 » An efficient class and object encoding |
112
Voted
NIPS
2008
15 years 3 months ago
2008
We present a multi-label multiple kernel learning (MKL) formulation in which the data are embedded into a low-dimensional space directed by the instancelabel correlations encoded ...
102
Voted
CLIMA
2004
15 years 3 months ago
2004
Abstract. We present an encoding of a sequent calculus for a multiagent epistemic logic in Athena, an interactive theorem proving system for many-sorted first-order logic. We then ...
115
click to vote
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...
118
click to vote
TASLP
2008
15 years 1 months ago
2008
This paper investigates the use of sparse overcomplete decompositions for audio coding. Audio signals are decomposed over a redundant union of modified discrete cosine transform (M...
115
click to vote
CAD
2004
Springer
15 years 1 months ago
2004
Springer
We address the problem of representing and processing 3D objects, described through simplicial meshes, which consist of parts of mixed dimensions, and with a non-manifold topology...