20 search results - page 1 / 4 » SAT-Based Analysis of Cellular Automata |
ACRI
2004
Springer
14 years 4 months ago
2004
Springer
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....
JGS
2000
13 years 10 months ago
2000
GIS and spatial analysis is suited mainly for static pictures of the landscape, but many of the processes that need exploring are dynamic in nature. Dynamic processes can be comple...
EVOW
2010
Springer
14 years 4 months ago
2010
Springer
In this paper we report on the synthesis of sounds using cellular automata, specifically the multitype voter model. The mapping process adopted is based on digital signal processin...
MFCS
2007
Springer
14 years 5 months ago
2007
Springer
DMTCS
2010
13 years 8 months ago
2010