Sciweavers

71 search results - page 2 / 15
» Integrating Inductive and Deductive Reasoning for Database M...
Sort
View
DAWAK
2004
Springer
13 years 10 months ago
Inductive Databases as Ranking
Abstract. Most of the research in data mining has been focused on developing novel algorithms for specific data mining tasks. However, finding the theoretical foundations of data...
Taneli Mielikäinen
ICDE
1991
IEEE
175views Database» more  ICDE 1991»
13 years 8 months ago
Constraint-Based Reasoning in Deductive Databases
— Constraints play an important role in the efficient query evaluation in deductive databases. In this paper, constraint-based query evaluation in deductive databases is investi...
Jiawei Han
JUCS
2007
108views more  JUCS 2007»
13 years 4 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
KDD
2008
ACM
161views Data Mining» more  KDD 2008»
14 years 5 months ago
An inductive database prototype based on virtual mining views
We present a prototype of an inductive database. Our system enables the user to query not only the data stored in the database but also generalizations (e.g. rules or trees) over ...
Élisa Fromont, Adriana Prado, Bart Goethals...
ICDM
2008
IEEE
138views Data Mining» more  ICDM 2008»
13 years 11 months ago
Geographic Knowledge Discovery in INGENS: An Inductive Database Perspective
INGENS is a prototype of GIS which integrates a geographic knowledge discovery engine to mine several kinds of spatial KDD objects from the topographic maps stored in a spatial da...
Annalisa Appice, Anna Ciampi, Antonietta Lanza, Do...