Sciweavers

2670 search results - page 272 / 534
» Modeling systems with internal state using evolino
Sort
View
JSS
2010
142views more  JSS 2010»
15 years 1 months ago
Analysis of service availability for time-triggered rejuvenation policies
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
Felix Salfner, Katinka Wolter
SPIN
2004
Springer
15 years 12 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
ICPR
2000
IEEE
15 years 11 months ago
Realtime Online Adaptive Gesture Recognition
We introduce an online adaptive algorithm for learning gesture models. By learning gesture models in an online fashion, the gesture recognition process is made more robust, and th...
Andrew D. Wilson, Aaron F. Bobick
CDC
2008
IEEE
109views Control Systems» more  CDC 2008»
16 years 1 months ago
MPC for tracking with optimal closed-loop performance
— This paper deals with the tracking problem for constrained linear systems using a model predictive control (MPC) law. As it is well known, MPC provides a control law suitable f...
Antonio Ferramosca, Daniel Limón, Ignacio A...
JCP
2008
114views more  JCP 2008»
15 years 6 months ago
IntelligenTester - Test Sequence Optimization Framework using Multi-Agents
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
D. Jeya Mala, V. Mohan