735 search results - page 59 / 147 » Procedural Modeling of Interconnected Structures |
106
click to vote
JUCS
2007
14 years 11 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
183
click to vote
POPL
2006
ACM
16 years 4 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
105
click to vote
MCS
2007
Springer
14 years 11 months ago
2007
Springer
In this project, nonlinear characteristics on the rolling interface of a linear guide were studied by the finite element analysis and experimental verification. Contact of the b...
IJON
2006
14 years 11 months ago
2006
In this paper we propose a novel approach for modeling kernels in Radial Basis Function networks. The method provides an extra degree of flexibility to the kernel structure. This ...
CCE
2004
14 years 11 months ago
2004
It is common that external procedures are incorporated into an equation-oriented model when modeling complex chemical process systems. The so-obtained models are called composite ...