371 search results - page 38 / 75 » Pushdown Automata Simulator |
108
click to vote
ALIFE
2004
15 years 1 months ago
2004
The concept of "self-protection", a capability of an organism to protect itself from exogenous attacks, is introduced to the design of artificial evolutionary systems as...
129
click to vote
TNN
2010
14 years 8 months ago
2010
A class of recurrent neural networks is proposed and proven to be capable of identifying any discrete-time dynamical system. The application of the proposed network is addressed in...
104
click to vote
WOLLIC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
104
click to vote
ARITH
2007
IEEE
15 years 8 months ago
2007
IEEE
An emerging nanotechnology, quantum-dot cellular automata (QCA), has the potential for attractive features such as faster speed, smaller size, and lower power consumption than tra...
153
click to vote
ICWS
2007
IEEE
15 years 3 months ago
2007
IEEE
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which c...