500 search results - page 23 / 100 » Universality and Cellular Automata |
144
click to vote
BIOADIT
2004
Springer
15 years 9 months ago
2004
Springer
After defining a Universe for computer science in opposition to the Universe of biology, this paper presents the roles that cellular division plays in both of them. Based on the ni...
151
click to vote
FORMATS
2007
Springer
16 years 3 days ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
182
click to vote
CALCO
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
166
click to vote
JAC
2008
15 years 7 months ago
2008
Take a cellular automaton, consider that each configuration is a basis vector in some vector space, and linearize the global evolution function. If lucky, the result could actually...
174
click to vote
CAV
2006
Springer
15 years 9 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...