5232 search results - page 193 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
142
click to vote
VISUALIZATION
1992
IEEE
15 years 6 months ago
1992
IEEE
The generation of smooth surfaces from a mesh of three-dimensional data points is an important problem in geometric modeling. Apart from the pure construction of these curves and ...
120
click to vote
JOT
2008
15 years 1 months ago
2008
We present, in this paper, a framework supporting a formal verification of concurrent UML models using the Maude language. We consider both static and dynamic features of concurre...
LOGCOM
2002
15 years 1 months ago
2002
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrai...
INFORMATICALT
2007
15 years 1 months ago
2007
In this article we present the general architecture of a hybrid neuro-symbolic system for the selection and stepwise elimination of predictor variables and non-relevant individuals...
115
click to vote
TEC
2008
15 years 1 months ago
2008
In this paper, we propose a technique based on genetic programming (GP) for meshfree solution of elliptic partial differential equations. We employ the least-squares collocation pr...