16 search results - page 1 / 4 » A Generalization of Semenov's Theorem to Automata over Real ... |
CADE
2009
Springer
14 years 5 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...
ICALP
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. This paper studies the expressive power of finite-state automata recognizing sets of real numbers encoded positionally. It is known that the sets that are definable in th...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
This article studies the expressive power of finite automata recognizing sets of real numbers encoded in positional notation. We consider Muller automata as well as the restricted ...
AML
2008
13 years 4 months ago
2008
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the reals, or whether def...
CVPR
2003
IEEE
14 years 6 months ago
2003
IEEE
Omnidirectional images arising from 3D-motion of a camera contain persistent structures over a large variation of motions because of their large field of view. This persistence ma...