346 search results - page 30 / 70 » Determinizing Asynchronous Automata |
ACRI
2008
Springer
15 years 4 months ago
2008
Springer
In several cases, the DNA sequences of an organism are available in different stages of its evolution and it is desirable to reconstruct the DNA sequence in a previous evolution st...
EUROGP
2003
Springer
15 years 3 months ago
2003
Springer
The properties of engineering structures such as cars, cell phones or bridges rely on materials and on the properties of these materials. The study of these properties, which are d...
CADE
2001
Springer
15 years 2 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...
139
click to vote
JAC
2008
14 years 11 months ago
2008
Abstract. Recent work has shown that many cellular automata (CA) have configurations whose orbit closures are isomorphic to odometers. We investigate the geometry of the spacetime ...
ISCAS
2007
IEEE
15 years 4 months ago
2007
IEEE
— Event-driven spike-based processing systems offer new possibilities for real-time vision. Signals are encoded asynchronously in time thus preserving the time information of the...