Sciweavers

8141 search results - page 436 / 1629
» Higher Order Generalization
Sort
View
GECCO
2008
Springer
116views Optimization» more  GECCO 2008»
15 years 8 months ago
A novel methodology for diversity preservation in evolutionary algorithms
In this paper we describe an improvement of an entropy-based diversity preservation approach for evolutionary algorithms. This approach exploits the information contained not only...
Giovanni Squillero, Alberto Paolo Tonda
AI
2007
Springer
15 years 7 months ago
Determining the consistency of partial tree descriptions
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
Manuel Bodirsky, Martin Kutz
SYNTHESE
2008
68views more  SYNTHESE 2008»
15 years 6 months ago
Some remarks on the bearing of model theory on the theory of theories
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...
William Demopoulos
AML
2002
36views more  AML 2002»
15 years 6 months ago
Shelah's stability spectrum and homogeneity spectrum in finite diagrams
We present Saharon Shelah's Stability Spectrum and Homogeneity Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Fin...
Rami P. Grossberg, Olivier Lessmann
COMBINATORICS
2000
49views more  COMBINATORICS 2000»
15 years 6 months ago
A Short Proof of a Partition Relation for Triples
We provide a much shorter proof of the following partition theorem of P. Erdos and R. Rado: If X is an uncountable linear order into which neither 1 nor 1 embeds, then X (, 4)3 f...
Albin L. Jones