11160 search results - page 223 / 2232 » Incompleteness in a General Setting |
135
click to vote
ICLP
1994
Springer
15 years 9 months ago
1994
Springer
Constructive negation has been proved to be a valid alternative to negation as failure, especially when negation is required to have, in a sense, an `active' role. In this pa...
169
click to vote
NIPS
2004
15 years 7 months ago
2004
This paper presents a general family of algebraic positive definite similarity functions over spaces of matrices with varying column rank. The columns can represent local regions ...
134
click to vote
CORR
2011
Springer
15 years 23 days ago
2011
Springer
Set intersection is a fundamental operation in information retrieval and database systems. This paper introduces linear space data structures to represent sets such that their int...
192
click to vote
ISCI
2011
15 years 22 days ago
2011
We present a general rule induction algorithm based on sequential covering, suitable for variable consistency rough set approaches. This algorithm, called VC-DomLEM, can be used f...
234
Voted
ICDT
2009
ACM
16 years 6 months ago
2009
ACM
We study the problem of querying data sources that accept only a limited set of queries, such as sources accessible by Web services which can implement very large (potentially inf...