Sciweavers

13026 search results - page 183 / 2606
» Probabilistic Relational Models
Sort
View
93
Voted
DIS
2005
Springer
15 years 9 months ago
Unit Volume Based Distributed Clustering Using Probabilistic Mixture Model
Keunjoon Lee, Jinu Joo, Jihoon Yang, Sungyong Park
FOSSACS
2005
Springer
15 years 9 months ago
Model Checking Durational Probabilistic Systems
François Laroussinie, Jeremy Sproston
CAV
2004
Springer
202views Hardware» more  CAV 2004»
15 years 9 months ago
Statistical Model Checking of Black-Box Probabilistic Systems
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
Koushik Sen, Mahesh Viswanathan, Gul Agha