804 search results - page 138 / 161 » On the Termination of the Chase Algorithm |
116
Voted
ECAI
2010
Springer
15 years 1 months ago
2010
Springer
Controller synthesis consists in automatically building controllers taking as inputs observation data and returning outputs guaranteeing that the controlled system satisfies some d...
GECCO
2008
Springer
15 years 1 months ago
2008
Springer
We propose a method of knowledge reuse between evolutionary processes that solve different optimization tasks. We define the method in the framework of tree-based genetic progra...
115
Voted
CGF
2010
15 years 27 days ago
2010
The technique of Delaunay refinement has been recognized as a versatile tool to generate Delaunay meshes of a variety of geometries. Despite its usefulness, it suffers from one la...
88
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
In a virtualized infrastructure where physical resources are shared, a single physical server failure will terminate several virtual servers and crippling the virtual infrastructu...
97
Voted
CORR
2008
Springer
15 years 26 days ago
2008
Springer
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact c...