2465 search results - page 199 / 493 » Automata on Linear Orderings |
ICPR
2008
IEEE
14 years 12 months ago
2008
IEEE
In this paper, we propose an algorithm to resample coarse vector fields in order to obtain vector fields of a higher density. Unlike the typical linear interpolation scheme, our a...
ISBI
2004
IEEE
14 years 11 months ago
2004
IEEE
The models used for analyzing functional MRI (fMRI) data have profound impact on the detection of active brain areas. In this paper temporal and spatial linear subspace models for...
ICCAD
2003
IEEE
14 years 7 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
IROS
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper considers the problem of stabilizing a unicycle-type mobile robot using a time-invariant, discontinuous control law. In order to simplify the control design, most pr...
CIE
2007
Springer
14 years 4 months ago
2007
Springer
We survey our current knowledge of circuit complexity of regular languages and we prove that regular languages that are in AC0 and ACC0 are all computable by almost linear size ci...