Sciweavers

2610 search results - page 6 / 522
» Computational Probabilistic Non-interference
Sort
View
81
Voted
DATAMINE
2011
14 years 3 months ago
Matrix-variate and higher-order probabilistic projections
Shipeng Yu, Jinbo Bi, Jieping Ye
IPL
2007
125views more  IPL 2007»
14 years 11 months ago
State explosion in almost-sure probabilistic reachability
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...
François Laroussinie, Jeremy Sproston
DLT
2009
14 years 9 months ago
Weighted versus Probabilistic Logics
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
Benedikt Bollig, Paul Gastin
70
Voted
BIOINFORMATICS
2012
13 years 2 months ago
Approximate probabilistic analysis of biopathway dynamics
Bing Liu 0013, Andrei Hagiescu, Sucheendra K. Pala...