7167 search results - page 535 / 1434 » Answer Set Programming |
145
click to vote
JIS
2006
15 years 4 months ago
2006
In recent years, the weakness of the canonical support-confidence framework for associations mining has been widely studied. One of the difficulties in applying association rules ...
134
click to vote
IGPL
1998
15 years 4 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
129
click to vote
LATINCRYPT
2010
15 years 3 months ago
2010
Abstract. A cryptographic accumulator is a scheme where a set of elements is represented by a single short value. This value, along with another value called witness, allows to pro...
153
click to vote
JMLR
2010
14 years 11 months ago
2010
The problem of characterizing learnability is the most basic question of statistical learning theory. A fundamental and long-standing answer, at least for the case of supervised c...
157
Voted
ICFP
2006
ACM
16 years 4 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...