280 search results - page 28 / 56 » Statistical Model Checking of Black-Box Probabilistic System... |
MICCAI
2004
Springer
14 years 9 months ago
2004
Springer
This paper introduces a new similarity measure designed to bring a population of segmented subjects into alignment in a common coordinate system. Our metric aligns each subject wit...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
We present a probabilistic formulation of UCS (a sUpervised Classifier System). UCS is shown to be a special case of mixture of experts where the experts are learned independentl...
JCB
2006
13 years 8 months ago
2006
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
TSE
2011
13 years 3 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
DSD
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...