226 search results - page 8 / 46 » Model-Based Control |
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
MICCAI
2009
Springer
14 years 3 months ago
2009
Springer
We propose to increment a statistical shape model with surrogate variables such as anatomical measurements and patient-related information, allowing conditioning the shape distribu...
RTSS
2009
IEEE
14 years 3 months ago
2009
IEEE
—This paper proposes a framework for determining the correctness and robustness of simulations of hybrid systems. The focus is on simulations generated from model-based design en...
ECML
2006
Springer
14 years 7 days ago
2006
Springer
Reinforcement learning in real-world domains suffers from three curses of dimensionality: explosions in state and action spaces, and high stochasticity. We present approaches that ...
ERCIMDL
2000
Springer
14 years 5 days ago
2000
Springer
Abstract. An architecture that provides personalised filtering and dissemination of news items is presented. It is based on user profiles and it provides mechanisms that allow the ...