1728 search results - page 44 / 346 » The Size of Power Automata |
CEC
2005
IEEE
15 years 1 months ago
2005
IEEE
The dynamics of neural and other automata networks are defined to a large extent by their topologies. Artificial evolution constitutes a practical means by which an optimal topolog...
109
click to vote
ET
2007
14 years 11 months ago
2007
The computational paradigm known as quantum-dot cellular automata (QCA) encodes binary information in the charge configuration of Coulomb-coupled quantum-dot cells. Functioning QC...
112
click to vote
JUCS
2010
14 years 10 months ago
2010
: We consider the problem of efficiently evaluating a large number of XPath expressions, especially in the case when they define subscriber profiles for filtering of XML documen...
118
click to vote
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
109
click to vote
ISVLSI
2003
IEEE
15 years 5 months ago
2003
IEEE
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...