6040 search results - page 57 / 1208 » Generating Instance Models from Meta Models |
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
Generative models of pattern individuality attempt to learn the distribution of observed quantitative features to determine the probability of two random patterns being the same. ...
CVPR
2009
IEEE
15 years 4 months ago
2009
IEEE
Given an image, we propose a hierarchical generative
model that classifies the overall scene, recognizes and segments
each object component, as well as annotates the image
with ...
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
FCCM
2003
IEEE
14 years 2 months ago
2003
IEEE
Hardware simulation of channel codes offers the potential of improving code evaluation speed by orders of magnitude over workstation- or PC-based simulation. We describe a hardwar...