Search Sciweavers | Sciweavers

1056 search results - page 13 / 212

» A Probabilistic Applied Pi-Calculus

click to vote

FCT
2007
Springer

78views Applied Computing» more FCT 2007»

The Computational Complexity of Monotonicity in Probabilistic Networks

14 years 1 months ago

Download www.cs.uu.nl

Johan Kwisthout

claim paper

Read More »

click to vote

AAAI
2008

126views Intelligent Agents» more AAAI 2008»

Factored Models for Probabilistic Modal Logic

13 years 10 months ago

Download reason.cs.uiuc.edu

Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....

Afsaneh Shirazi, Eyal Amir

claim paper

Read More »

click to vote

TAMC
2009
Springer

104views Applied Computing» more TAMC 2009»

Undecidability of Cost-Bounded Reachability in Priced Probabilistic Timed Automata

14 years 2 months ago

Download wwwhome.cs.utwente.nl

Priced Probabilistic Timed Automata (PPTA) extend timed automata with cost-rates in locations and discrete probabilistic branching. The model is a natural combination of Priced Tim...

Jasper Berendsen, Taolue Chen, David N. Jansen

claim paper

Read More »

click to vote

SAC
2008
ACM

94views Applied Computing» more SAC 2008»

A framework for dependable QoS adaptation in probabilistic environments

13 years 7 months ago