7 search results - page 2 / 2 » Incremental Tradeoff Resolution in Qualitative Probabilistic... |
IJCAI
2003
13 years 6 months ago
2003
Recursive Conditioning, RC, is an any-space algorithm lor exact inference in Bayesian networks, which can trade space for time in increments of the size of a floating point number...
QEST
2010
IEEE
13 years 3 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...