Sciweavers

5414 search results - page 161 / 1083
» Exploratory Model Building
Sort
View
TOG
2002
112views more  TOG 2002»
15 years 4 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...
144
Voted
DSRT
2005
IEEE
15 years 10 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
139
Voted
EMISA
2005
Springer
15 years 10 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
136
Voted
JLP
2006
126views more  JLP 2006»
15 years 5 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
146
Voted
TCS
2008
15 years 5 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