9405 search results - page 275 / 1881 » Computing a Model of Set Theory |
123
Voted
AIMSA
2000
Springer
15 years 9 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
141
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games [8] are two players, zero-sum static games where players...
142
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
This paper presents a theoretical definition for designing EDAs called Elitist Convergent Estimation of Distribution Algorithm (ECEDA), and a practical implementation: the Boltzm...
118
click to vote
JCC
2008
15 years 4 months ago
2008
Abstract: This article presents a novel concept, the minimal molecular surface (MMS), for the theoretical modeling of biomolecules. The MMS can be viewed as a result of the surface...
145
click to vote
IGPL
2007
15 years 4 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...