411 search results - page 7 / 83 » Automating the Dependency Pair Method |
KES
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we present a method for finding general dependencies between individual agents in a multi-agent system. We use mutual information as the general measure for dependen...
ICDE
1998
IEEE
14 years 11 months ago
1998
IEEE
Discovery of functionaldependencies from relations has been identified as an important database analysis technique. In this paper, we present a new approach for finding functional...
VLDB
2007
ACM
14 years 3 months ago
2007
ACM
Real-world datasets exhibit a complex dependency structure among the data attributes. Learning this structure is a key task in automatic statistics configuration for query optimi...
ATVA
2009
Springer
14 years 4 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
IWAR
1992
13 years 10 months ago
1992
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu's method of mechanical theorem proving fo...