5456 search results - page 259 / 1092 » General Equilibrium Theory |
185
click to vote
SUM
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. An ontology matching method (or a matcher) aims at matching every entity (or concept) in one ontology to the most suitable entity (or entities) in another ontology. Usual...
181
click to vote
QEST
2006
IEEE
16 years 18 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
178
click to vote
PLDI
2005
ACM
16 years 5 days ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
123
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
We propose a new methodology to look at the fitness contributions (semantics) of different schemata in Genetic Programming (GP). We hypothesize that the significance of a schem...
183
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
The paper presents an extension of Vose’s Markov chain model for genetic algorithm (GA). The model contains not only standard genetic operators such as mutation and crossover bu...