423 search results - page 60 / 85 » The Generalization of Generalized Automata: Expression Autom... |
127
click to vote
ISMVL
2007
IEEE
15 years 10 months ago
2007
IEEE
Extending the ideas of Quantum Braitenberg Vehicles from [14], we present here a family of Lego robots controlled by multiple-valued quantum circuits. The robots have at most 6 de...
148
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
131
click to vote
MFCS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
137
click to vote
DNA
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. For robust molecular implementation of tile-based algorithmic self-assembly, methods for reducing errors must be developed. Previous studies suggested that by control of ...
135
click to vote
ASP
2001
Springer
15 years 8 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. This is an extension of earlier w...