5232 search results - page 159 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
119
Voted
DSN
2009
IEEE
15 years 8 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
91
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives prel...
108
click to vote
ICSEA
2006
IEEE
15 years 8 months ago
2006
IEEE
A modeling process is presented for extracting timingaccurate simulation models from complex embedded realtime systems. The process is supported by two complementary methods for t...
123
Voted
CGF
2005
15 years 1 months ago
2005
Level set models combine a low-level volumetric representation, the mathematics of deformable implicit surfaces, and powerful, robust numerical techniques to produce a novel appro...
103
Voted
CAD
1998
Springer
15 years 1 months ago
1998
Springer
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...