513 search results - page 64 / 103 » Test Construction for Mathematical Functions |
136
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...
109
Voted
CVPR
2010
IEEE
15 years 7 months ago
2010
IEEE
This paper proposes a new learning method, which integrates feature selection with classifier construction for human detection via solving three optimization models. Firstly, the ...
76
Voted
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
We propose a crossover method to combine complexly overlapping building blocks (BBs). Although there have been several techniques to identify linkage sets of loci o form a BB [4, ...
110
click to vote
COMBINATORICS
2004
15 years 1 months ago
2004
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
132
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...