Sciweavers

12148 search results - page 438 / 2430
» Generalized Bundle Methods
Sort
View
GECCO
2006
Springer
130views Optimization» more  GECCO 2006»
15 years 11 months ago
Pairwise sequence comparison for fitness evaluation in evolutionary structural software testing
Evolutionary algorithms are among the metaheuristic search methods that have been applied to the structural test data generation problem. Fitness evaluation methods play an import...
H. Turgut Uyar, A. Sima Etaner-Uyar, A. Emre Harma...
CIKM
2008
Springer
15 years 9 months ago
Structure feature selection for graph classification
With the development of highly efficient graph data collection technology in many application fields, classification of graph data emerges as an important topic in the data mining...
Hongliang Fei, Jun Huan
COLING
2008
15 years 9 months ago
Looking for Trouble
This paper presents a method for mining potential troubles or obstacles related to the use of a given object. Some example instances of this relation are medicine, side effect and...
Stijn De Saeger, Kentaro Torisawa, Jun'ichi Kazama
UAI
2004
15 years 9 months ago
A Hierarchical Graphical Model for Record Linkage
The task of matching co-referent records is known among other names as record linkage. For large record-linkage problems, often there is little or no labeled data available, but u...
Pradeep D. Ravikumar, William W. Cohen
FAC
2008
108views more  FAC 2008»
15 years 7 months ago
Property-directed incremental invariant generation
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
Aaron R. Bradley, Zohar Manna