1701 search results - page 68 / 341 » Computer Science and State Machines |
EDUTAINMENT
2008
Springer
14 years 11 months ago
2008
Springer
Computer games accessibility have initially been regarded as an area of minor importance as there were much more "serious" topics to focus on. Today, the society is slowl...
JIFS
2002
14 years 9 months ago
2002
A novel way to simulate Turing Machines (TMs) by Artificial Neural Networks (ANNs) is proposed. We claim that the proposed simulation is in agreement with the correct interpretatio...
PDP
2007
IEEE
15 years 4 months ago
2007
IEEE
We present an algorithm to compute the cycle structure of large directed graphs where each node has exactly one outgoing edge. Such graphs appear as state diagrams of finite stat...
SPIN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
EDUTAINMENT
2006
Springer
15 years 1 months ago
2006
Springer
In this paper we report on an interdisciplinary course "Computing and Art" taught at the Sabanci University, Istanbul for the first time in fall of 2004. We also present...