311 search results - page 41 / 63 » Conservative Dual Consistency |
154
click to vote
JMLR
2006
15 years 1 months ago
2006
We present a kernel-based algorithm for hierarchical text classification where the documents are allowed to belong to more than one category at a time. The classification model is...
123
Voted
ENGL
2007
15 years 1 months ago
2007
Abstract—In any formal theory, a proof is a sequence of well formed formulas (wff). Here, we consider the digraph whose nodes are proofs and the edges are pairs of proofs such t...
112
click to vote
DAM
1998
15 years 1 months ago
1998
We first consider so-called (1,+s)-branching programs in which along every consistent path at most s variables are tested more than once. We prove that any such program computing...
156
click to vote
CVPR
2010
IEEE
14 years 11 months ago
2010
IEEE
Watching a reflection in a glass window, one can often observe a multi-layered image consisting of a frontsurface reflection from the glass and a rear-surface reflection through t...
109
click to vote
CISS
2010
IEEE
14 years 5 months ago
2010
IEEE
—Frame permutation quantization (FPQ) is a new vector quantization technique using finite frames. In FPQ, a vector is encoded using a permutation source code to quantize its fra...