Sciweavers

2467 search results - page 227 / 494
» Finite State Machines
Sort
View
ICRA
2009
IEEE
148views Robotics» more  ICRA 2009»
15 years 4 months ago
Dynamic path planning with multi-agent data fusion - The Parallel Hierarchical Replanner
The design of a hierarchical planning system in which each level operates in parallel and communicates asynchronously is presented. It is shown that this Parallel Hierarchical Repl...
Thomas Allen, Andrew Hill, James Patrick Underwood...
CDC
2010
IEEE
15 years 1 months ago
Stability robustness in the presence of exponentially unstable isolated equilibria
This note studies nonlinear systems evolving on manifolds with a finite number of asymptotically stable equilibria and a Lyapunov function which strictly decreases outside equilibr...
David Angeli, Laurent Praly
INTERSPEECH
2010
15 years 1 months ago
Exploring recognition network representations for efficient speech inference on highly parallel platforms
The emergence of highly parallel computing platforms is enabling new trade-offs in algorithm design for automatic speech recognition. It naturally motivates the following investig...
Jike Chong, Ekaterina Gonina, Kisun You, Kurt Keut...
RE
2004
Springer
16 years 1 days ago
Modeling and Composing Scenario-Based Requirements with Aspects
There has been significant recent interest, within the Aspect-Oriented Software Development (AOSD) community, in representing crosscutting concerns at various stages of the softwa...
João Araújo, Jon Whittle, Dae-Kyoo K...
ESEC
1999
Springer
15 years 11 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz