5232 search results - page 168 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
129
click to vote
TSE
2008
15 years 1 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
111
click to vote
SMI
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we present a controllable, fast and efficient particle system framework for skeletal implicit surfaces defined by the BlobTree model. We propose efficient algori...
118
click to vote
TNN
2010
14 years 8 months ago
2010
In this paper we provide theoretical and numerical analysis of a geometric activity flow network model which is aimed at explaining mathematically the scale-free functional graph s...
129
click to vote
ENTCS
2008
15 years 1 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
100
Voted
WSC
1997
15 years 3 months ago
1997
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...