4962 search results - page 56 / 993 » Stochastic Model Checking |
106
click to vote
ANOR
2006
15 years 2 months ago
2006
To solve a decision problem under uncertainty via stochastic programming means to choose or to build a suitable stochastic programming model taking into account the nature of the r...
102
click to vote
NIPS
2007
15 years 3 months ago
2007
This article discusses a latent variable model for inference and prediction of symmetric relational data. The model, based on the idea of the eigenvalue decomposition, represents ...
WSC
2004
15 years 3 months ago
2004
SPRINGSIM
2010
15 years 18 days ago
2010
118
Voted
SIMUTOOLS
2008
15 years 3 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...