Sciweavers

77016 search results - page 97 / 15404
» Modeling
Sort
View
126
Voted
SPLC
2007
15 years 3 months ago
Reasoning about Feature Models in Higher-Order Logic
A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
Mikolás Janota, Joseph Kiniry
183
Voted
SMA
2008
ACM
334views Solid Modeling» more  SMA 2008»
15 years 2 months ago
Cellular automata and Riccati equation models for diffusion of innovations
Renato Guseo, Mariangela Guidolin
199
Voted
SMA
2010
ACM
333views Solid Modeling» more  SMA 2010»
15 years 28 days ago
Misspecification tests for periodic long memory GARCH models
Massimiliano Caporin, Francesco Lisi
107
Voted
SPRINGSIM
2010
15 years 28 days ago
Simulating domain specific visual models by observation
Javier Troya, José Eduardo Rivera, Antonio ...