Sciweavers

1357 search results - page 106 / 272
» Compositional analysis for linear systems
Sort
View
99
Voted
ASAP
1996
IEEE
96views Hardware» more  ASAP 1996»
15 years 4 months ago
Kestrel: A Programmable Array for Sequence Analysis
Kestrel is a programmable linear array processor designed for sequence analysis. Among other features, Kestrel includes an 8-bit word, a single-cycle add-and-minimize instruction, ...
Jeffrey D. Hirschberg, Richard Hughey, Kevin Karpl...
116
Voted
ICRA
2010
IEEE
149views Robotics» more  ICRA 2010»
14 years 11 months ago
Observability analysis of relative localization for AUVs based on ranging and depth measurements
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...
82
Voted
ISER
1995
Springer
100views Robotics» more  ISER 1995»
15 years 4 months ago
Parameter Sensitivity Analysis for Design and Control of Tendon Transmissions
We apply sensitivity analysis to the design and control of a tendon transmission. With this approach, some prefered values for the system parameters and a feedback compensator can...
Vincent Hayward, Juan Manuel Cruz-Hernández
115
Voted
APLAS
2010
ACM
14 years 10 months ago
Live Heap Space Bounds for Real-Time Systems
Live heap space analyses have so far been concerned with the standard sequential programming model. However, that model is not very well suited for embedded real-time systems, wher...
Martin Kero, Pawel Pietrzak, Johan Nordlander
111
Voted
IMCSIT
2010
14 years 10 months ago
Parallel, Massive Processing in SuperMatrix - a General Tool for Distributional Semantic Analysis of Corpus
The paper presents an extended version of the SuperMatrix system -- a general tool supporting automatic acquisition of lexical semantic relations from corpora. Extensions focus mai...
Bartosz Broda, Damian Jaworski, Maciej Piasecki