1930 search results - page 136 / 386 » Learning to Solve QBF |
132
Voted
ICCBR
2007
Springer
15 years 10 months 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...
128
click to vote
ICDAR
2003
IEEE
15 years 9 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...
135
click to vote
ECAL
2003
Springer
15 years 9 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...
141
click to vote
GECCO
2006
Springer
15 years 7 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....
133
click to vote
COCOON
1995
Springer
15 years 7 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...