Sciweavers

5414 search results - page 161 / 1083
» Exploratory Model Building
Sort
View
TOG
2002
112views more  TOG 2002»
15 years 1 months ago
Creating models of truss structures with optimization
We present a method for designing truss structures, a common and complex category of buildings, using non-linear optimization. Truss structures are ubiquitous in the industrialize...
Jeffrey Smith, Jessica K. Hodgins, Irving Oppenhei...
119
Voted
DSRT
2005
IEEE
15 years 8 months ago
A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
Hessam S. Sarjoughian, Dongping Huang
EMISA
2005
Springer
15 years 7 months ago
From Reference Model to Component Model
Stable component models are an essential prerequisite for developing customer-individual business applications. Thereby the information for the identification and specification of ...
Antonia Albani, Johannes Maria Zaha
JLP
2006
126views more  JLP 2006»
15 years 2 months ago
Compositional modeling and refinement for hierarchical hybrid systems
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
TCS
2008
15 years 2 months ago
Modeling spiking neural networks
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
Ioannis D. Zaharakis, Achilles D. Kameas