3229 search results - page 87 / 646 » The Theory of Timed Automata |
154
click to vote
ALT
2009
Springer
16 years 3 months ago
2009
Springer
In this paper we consider uncountable classes recognizable by ω-automata and investigate suitable learning paradigms for them. In particular, the counterparts of explanatory, vac...
155
click to vote
SASO
2008
IEEE
16 years 23 days ago
2008
IEEE
We propose a self-organizing sleep-wake sensor system that is scalable, easily implemented, and energy conserving. An application of concepts from cellular automata theory account...
156
click to vote
CF
2007
ACM
15 years 10 months ago
2007
ACM
This paper presents the Collapsed Bennett Layout, a general purpose floorplan for reversible quantum-dot cellular automata (QCA) circuits. In order to exploit the full density and...
165
click to vote
JSYML
2008
15 years 6 months ago
2008
We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formu...
179
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...