3690 search results - page 551 / 738 » Computation with classical sequents |
142
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Simulated binary crossover (SBX) is a real-parameter recombination operator which is commonly used in the evolutionary algorithm (EA) literature. The operator involves a parameter...
165
click to vote
GECCO
2007
Springer
15 years 11 months ago
2007
Springer
Learning Classifier Systems differ from many other classification techniques, in that new rules are constantly discovered and evaluated. This feature of LCS gives rise to an im...
136
click to vote
ICALP
2007
Springer
15 years 11 months ago
2007
Springer
We study the classic problem of estimating the sum of n variables. The traditional uniform sampling approach requires a linear number of samples to provide any non-trivial guarante...
197
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
A recurrent question in the design of intelligent agents is how to assign degrees of beliefs, or subjective probabilities, to various events in a relational environment. In the sta...
154
click to vote
SCALESPACE
2007
Springer
15 years 11 months ago
2007
Springer
In clinical applications where structural asymmetries between homologous shapes have been correlated with pathology, the questions of definition and quantification of ‘asymmetr...