9405 search results - page 202 / 1881 » Computing a Model of Set Theory |
213
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
Determinantal point processes (DPPs), which arise in random matrix theory and quantum physics, are natural models for subset selection problems where diversity is preferred. Among...
183
click to vote
ICLP
2007
Springer
16 years 20 days ago
2007
Springer
aa We consider the problem of obtaining a minimal logic program strongly equivalent (under the stable models semantics) to a given arbitrary propositional theory. We propose a meth...
172
click to vote
ML
2006
ACM
15 years 6 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
158
click to vote
PODS
2003
ACM
16 years 6 months ago
2003
ACM
In this paper we propose a new bottom-up query evaluation method for stratified deductive databases based on the Magic Set approach. As the Magic Sets rewriting may lead to unstra...
159
click to vote
CIKM
2004
Springer
15 years 12 months ago
2004
Springer
Mining massive temporal data streams for significant trends, emerging buzz, and unusually high or low activity is an important problem with several commercial applications. In th...