8838 search results - page 415 / 1768 » Generalizing Domain Theory |
194
click to vote
QEST
2006
IEEE
16 years 27 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...
124
click to vote
GECCO
2005
Springer
16 years 12 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...
193
click to vote
GECCO
2005
Springer
16 years 12 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...
161
click to vote
CSCW
2004
ACM
16 years 9 days ago
2004
ACM
Under-contribution is a problem for many online communities. Social psychology theories of social loafing and goal-setting can provide mid-level design principles to address this ...
176
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
We propose an analysis of the codified Law of France as a structured system. Fifty two legal codes are selected on the basis of explicit legal criteria and considered as vertices ...