Sciweavers

77016 search results - page 97 / 15404
» Modeling
Sort
View
SPLC
2007
15 years 4 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
SMA
2010
ACM
333views Solid Modeling» more  SMA 2010»
15 years 1 months ago
Misspecification tests for periodic long memory GARCH models
Massimiliano Caporin, Francesco Lisi
SPRINGSIM
2010
15 years 1 months ago
Simulating domain specific visual models by observation
Javier Troya, José Eduardo Rivera, Antonio ...