814 search results - page 133 / 163 » Generic Model Abstraction from Examples |
140
Voted
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
134
Voted
MICCAI
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. We propose a method for atrophy simulation in structural MR images based on finite-element methods, providing data for objective evaluation of atrophy measurement techniq...
117
Voted
ESOP
2010
Springer
15 years 12 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
106
Voted
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
122
Voted
CEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— We recast the problem of unconstrained continuous evolutionary optimization as inference in a fixed graphical model. This approach allows us to address several pervasi...