226 search results - page 8 / 46 » Model-Based Control |
173
Voted
CADE
2008
Springer
16 years 4 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...
156
Voted
MICCAI
2009
Springer
15 years 10 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...
134
Voted
RTSS
2009
IEEE
15 years 10 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...
130
Voted
ECML
2006
Springer
15 years 7 months 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 ...
117
Voted
ERCIMDL
2000
Springer
15 years 7 months 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 ...