Sciweavers

77016 search results - page 108 / 15404
» Modeling Modeling
Sort
View
159
Voted
CAV
2010
Springer
140views Hardware» more  CAV 2010»
15 years 3 months ago
PARAM: A Model Checker for Parametric Markov Models
Ernst Moritz Hahn, Holger Hermanns, Björn Wac...
ENVSOFT
2011
57views more  ENVSOFT 2011»
15 years 1 months ago
Prototyping an online wetland ecosystem services model using open model sharing standards
Min Feng, Shuguang Liu, Ned H. Euliss Jr., Claudia...
99
Voted
CORR
2010
Springer
61views Education» more  CORR 2010»
15 years 1 months ago
The Conceptual Integration Modeling Framework: Abstracting from the Multidimensional Model
Flavio Rizzolo, Iluju Kiringa, Rachel Pottinger, K...
94
Voted
CORR
2010
Springer
52views Education» more  CORR 2010»
15 years 1 months ago
Nonparametric Bayesian Sparse Factor Models with application to Gene Expression modelling
David Knowles, Zoubin Ghahramani
JOS
2011
62views more  JOS 2011»
15 years 1 months ago
The Hybrid War Model: a complex adaptive model of complex urban conflict
James Moffat, Michael Bathe, Lorna Frewer
« Prev « First page 108 / 15404 Last » Next »