4341 search results - page 363 / 869 » Quantitative Model checking |
185
click to vote
ICSOC
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...
312
Voted
ICPR
2010
IEEE
16 years 2 days ago
2010
IEEE
We propose a novel Markovian segmentation
model which takes into account edge information. By construction,
the model uses only pairwise interactions and its
energy is submodula...
175
click to vote
MAAMAW
1999
Springer
15 years 11 months ago
1999
Springer
We present a utility-driven rationality and a complementary-driven rationality based model, relative to multiple partner coalitions, motivated by relations of dependence and instru...
172
click to vote
FMCO
2006
Springer
15 years 10 months ago
2006
Springer
d Abstract) Vladimiro Sassone1 , Karl Krukow2 , and Mogens Nielsen2 1 ECS, University of Southampton 2 BRICS , University of Aarhus We define a mathematical measure for the quantit...
211
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
Probabilistic expert systemsbased on Bayesian networks(BNs)require initial specification both a qualitative graphical structure and quantitative assessmentof conditional probabili...