2670 search results - page 120 / 534 » Modeling systems with internal state using evolino |
184
click to vote
JCSS
2008
15 years 6 months ago
2008
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
196
click to vote
ATVA
2007
Springer
16 years 18 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
182
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
This paper proposes a quadratic programming (QP) approach to robust model predictive control (MPC) for constrained linear systems having both model uncertainties and bounded distu...
176
click to vote
ICMLA
2010
15 years 3 months ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
182
click to vote
DICTA
2003
15 years 7 months ago
2003
Human-Machine interfaces play a role of growing importance as computer technology continues to evolve. Motivated by the desire to provide users with an intuitive gesture input syst...