Sciweavers

2905 search results - page 388 / 581
» Formal Memetic Algorithms
Sort
View
155
Voted
CIKM
2005
Springer
15 years 9 months ago
Selectivity-based partitioning: a divide-and-union paradigm for effective query optimization
Modern query optimizers select an efficient join ordering for a physical execution plan based essentially on the average join selectivity factors among the referenced tables. In ...
Neoklis Polyzotis
DFKI
2005
Springer
15 years 9 months ago
On the Organisation of Agent Experience: Scaling Up Social Cognition
This paper introduces “micro-scalability” as a novel design objective for social reasoning architectures operating in open multiagent systems. Microscalability is based on the ...
Michael Rovatsos, Kai Paetow
FMCO
2005
Springer
143views Formal Methods» more  FMCO 2005»
15 years 9 months ago
Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
Dennis Dams, Kedar S. Namjoshi
FORMATS
2005
Springer
15 years 9 months ago
Average Reward Timed Games
We consider real-time games where the goal consists, for each player, in maximizing the average amount of reward he or she receives per time unit. We consider zero-sum rewards, so ...
B. Thomas Adler, Luca de Alfaro, Marco Faella
GECCO
2005
Springer
119views Optimization» more  GECCO 2005»
15 years 9 months ago
Learning, anticipation and time-deception in evolutionary online dynamic optimization
In this paper we focus on an important source of problem– difficulty in (online) dynamic optimization problems that has so far received significantly less attention than the tr...
Peter A. N. Bosman