7167 search results - page 866 / 1434 » Answer Set Programming |
181
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
Data mining focuses on the development of methods and algorithms for such tasks as classification, clustering, rule induction, and discovery of associations. In the database fiel...
144
click to vote
KDID
2003
15 years 6 months ago
2003
We introduce generalized version space trees, a novel data structure that serves as a condensed representation in inductive databases for graph mining. Generalized version space tr...
163
click to vote
AIPS
1996
15 years 6 months ago
1996
Informationgathering requires locating and integrating data froma set of distributed informationsources. These sources maycontain overlapping data and can comefrom different types...
171
click to vote
CADE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
132
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We present a new method for instance-specific algorithm configuration (ISAC). It is based on the integration of the algorithm configuration system GGA and the recently proposed sto...