Sciweavers

25 search results - page 2 / 5
» acri 2004
Sort
View
ACRI
2004
Springer
13 years 11 months ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
ACRI
2004
Springer
13 years 11 months ago
Replication of Spatio-temporal Land Use Patterns at Three Levels of Aggregation by an Urban Cellular Automata
The SLEUTH urban growth model [1] is a cellular automata model that has been widely applied throughout the geographic literature to examine the historic settlement patterns of citi...
Charles Dietzel, Keith C. Clarke
ACRI
2004
Springer
13 years 11 months ago
Improved Cell-DEVS Model Definition in CD++
We describe two improvements made to CD++, a tool for modeling and simulation of cellular models based on the Cell-DEVS formalism. The modifications described in this work remove s...
Alejandro López, Gabriel A. Wainer
ACRI
2004
Springer
13 years 11 months 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
ACRI
2004
Springer
13 years 11 months ago
Chaos in a Simple Cellular Automaton Model of a Uniform Society
In this work we study the collective behavior in a model of a simplified homogeneous society. Each agent is modeled as a binary “perceptron”, receiving neighbors’ opinions a...
Franco Bagnoli, Fabio Franci, Raúl Rechtman