Sciweavers

2465 search results - page 199 / 493
» Automata on Linear Orderings
Sort
View
ICPR
2008
IEEE
14 years 12 months ago
Vector field resampling using local streamline approximation
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...
Mani Thomas, Chandra Kambhamettu, Cathleen A. Geig...
ISBI
2004
IEEE
14 years 11 months ago
Subspace Models for Functional MRI Data Analysis
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...
Ola Friman
ICCAD
2003
IEEE
129views Hardware» more  ICCAD 2003»
14 years 7 months ago
ILP Models for the Synthesis of Asynchronous Control Circuits
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 ...
Josep Carmona, Jordi Cortadella
IROS
2007
IEEE
205views Robotics» more  IROS 2007»
14 years 5 months ago
Kinematic and dynamic control of a wheeled mobile robot
— 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...
David DeVon, Timothy Bretl
CIE
2007
Springer
14 years 4 months ago
Circuit Complexity of Regular Languages
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...
Michal Koucký