430 search results - page 33 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
106
click to vote
EDBT
2012
ACM
13 years 27 days ago
2012
ACM
In this paper, we study how to find maximal k-edge-connected subgraphs from a large graph. k-edge-connected subgraphs can be used to capture closely related vertices, and findin...
DAWAK
2000
Springer
15 years 2 months ago
2000
Springer
In data mining, searching for frequent patterns is a common basic operation. It forms the basis of many interesting decision support processes. In this paper we present a new type ...
TC
1998
14 years 10 months ago
1998
ion Techniques for Validation Coverage Analysis and Test Generation Dinos Moundanos, Jacob A. Abraham, Fellow, IEEE, and Yatin V. Hoskote —The enormous state spaces which must be...
101
click to vote
TACAS
2005
Springer
15 years 4 months ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
186
click to vote
ICDE
1998
IEEE
15 years 12 months ago
1998
IEEE
?Mining association rules on large data sets has received considerable attention in recent years. Association rules are useful for determining correlations between attributes of a ...