90 search results - page 7 / 18 » rules 1995 |
DEXA
1995
Springer
13 years 11 months ago
1995
Springer
To support applications, such as efficient browsing in large knowledge bases and cooperative knowledge discovery in large databases, the concept of rule similarity is essential. In...
KDD
1995
ACM
13 years 11 months ago
1995
ACM
Anapplication of data miningtechniques to heterogeneous database schemaintegration is introduced. We use attribute-oriented induction to minefor characteristic and classification ...
LCPC
1995
Springer
13 years 11 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
ER
1995
Springer
13 years 11 months ago
1995
Springer
Based on a systematic study of the semantics of temporal attributes of entities, this paper provides new guidelines for the design of temporal relational databases. The notions of ...
ADG
2000
Springer
13 years 12 months ago
2000
Springer
In this paper we propose a bracket algebra based elimination method for automated generation of readable proofs for theorems in incidence geometry. This method is based on two tech...