1078 search results - page 164 / 216 » The Modal Logic of Probability |
114
Voted
JOLLI
2006
15 years 3 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
111
Voted
ETS
2007
IEEE
15 years 10 months ago
2007
IEEE
— A novel statistical learning algorithm is proposed to accurately analyze volume diagnosis results. This algorithm effectively overcomes the inherent ambiguities in logic diagno...
151
Voted
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
Probabilistic timed automata are timed automata extended with discrete probability distributions, and can be used to model timed randomised protocols or faulttolerant systems. We ...
95
Voted
APAL
2008
15 years 3 months ago
2008
We show that for random bit strings, Up(n), with probability, p = 1 2 , the firstorder quantifier depth D(Up(n)) needed to distinguish non-isomorphic structures is (lg lg n), with...
129
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Web Services are software services that can be advertised by providers and deployed by customers using Web technologies. This concept is currently carried further to address Web s...