371 search results - page 42 / 75 » Pushdown Automata Simulator |
130
click to vote
TACAS
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. We present a general theory that exploits simulation relations on transition systems to obtain antichain algorithms for solving the reachability and repeated reachability...
158
click to vote
AE
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We aim to construct an automatic system for the discovery of collision-based universal cellular automata that simulate Turing machines in their space-time dynamics using ...
180
click to vote
FCCM
2005
IEEE
15 years 11 months ago
2005
IEEE
The CLA-EC is a model obtained by combining the concepts of cellular learning automata and evolutionary algorithms. The parallel structure of the CLA-EC makes it suitable for hard...
215
click to vote
ACRI
2004
Springer
15 years 11 months ago
2004
Springer
Cellular automata (CA) are highly parallel and discrete dynamical systems, whose behavior is completely specified in terms of a local relation. They were successfully applied for s...
155
click to vote
TSMC
1998
15 years 5 months ago
1998
— Parallel algorithms are presented for modules of learning automata with the objective of improving their speed of convergence without compromising accuracy. A general procedure...