1930 search results - page 136 / 386 » Learning to Solve QBF |
161
click to vote
ICCBR
2007
Springer
16 years 6 days ago
2007
Springer
The aim of this paper is to analyze how the generalizations built by a CBR method can be used as local approximations of a concept. From this point of view, these local approximati...
152
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
The purpose of this study is to develop a flexible matching method for recognizing handwritten numerals based on the statistics of shapes and structures learned from learning sam...
165
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
Fractal proteins are a new evolvable method of mapping genotype to phenotype through a developmental process, where genes are expressed into proteins comprised of subsets of the Ma...
173
Voted
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
This study aims to design a new co-evolution algorithm, Mixture Co-evolution which enables modeling of integration and composition of direct co-evolution and indirect coevolution....
160
click to vote
COCOON
1995
Springer
15 years 9 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...