3552 search results - page 627 / 711 » Proof theory in the abstract |
152
click to vote
EMO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Evolutionary algorithms have been quite effective in dealing with single-objective “optimization” while the area of Evolutionary Multiobjective Optimization (EMOO) h...
164
click to vote
EPEW
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
178
click to vote
ESA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...
175
click to vote
FOSSACS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
156
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...