5232 search results - page 107 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
131
Voted
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
ENTCS
2008
15 years 1 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
110
Voted
HASE
2007
IEEE
15 years 5 months ago
2007
IEEE
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
131
click to vote
SIGGRAPH
1997
ACM
15 years 5 months ago
1997
ACM
Interactive modeling of 3-D solids is an important and difficult problem in computer graphics. The Constructive Solid Geometry (CSG) modeling scheme is highly attractive for inte...
118
click to vote
JVCA
2008
15 years 1 months ago
2008
We present a fast goal-directed motion synthesis technique that integrates sample-based planning methods with constraint-based dynamics simulation using a finite element formulati...