Sciweavers

5401 search results - page 366 / 1081
» Using Versions in GIS
Sort
View
ACRI
2004
Springer
16 years 4 days ago
Perturbing the Topology of the Game of Life Increases Its Robustness to Asynchrony
An experimental analysis of the asynchronous version of the “Game of Life” is performed to estimate how topology perturbations modify its evolution. We focus on the study of a ...
Nazim Fatès, Michel Morvan
AMAI
2004
Springer
16 years 4 days ago
Unrestricted vs Restricted Cut in a Tableau Method for Boolean Circuits
This paper studies the relative proof complexity of variations of a tableau method for Boolean circuit satisfiability checking obtained by restricting the use of the cut rule in s...
Matti Järvisalo, Tommi A. Junttila, Ilkka Nie...
CPAIOR
2004
Springer
16 years 4 days ago
O(n log n) Filtering Algorithms for Unary Resource Constraint
So far, edge-finding is the only one major filtering algorithm for unary resource constraint with time complexity O(n log n). This paper proposes O(n log n) versions of another t...
Petr Vilím
GECCO
2004
Springer
106views Optimization» more  GECCO 2004»
16 years 3 days ago
Run Transferable Libraries - Learning Functional Bias in Problem Domains
Abstract. This paper introduces the notion of Run Transferable Libraries, a mechanism to pass knowledge acquired in one GP run to another. We demonstrate that a system using these ...
Maarten Keijzer, Conor Ryan, Mike Cattolico
LOPSTR
2004
Springer
16 years 3 days ago
Fully Automatic Binding-Time Analysis for Prolog
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...
Stephen-John Craig, John P. Gallagher, Michael Leu...