940 search results - page 75 / 188 » Local rely-guarantee reasoning |
95
Voted
LPAR
2000
Springer
15 years 4 months ago
2000
Springer
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
105
Voted
FLAIRS
2007
15 years 3 months ago
2007
POMDPs are a popular framework for representing decision making problems that contain uncertainty. The high computational complexity of finding exact solutions to POMDPs has spaw...
129
Voted
UAI
2008
15 years 2 months ago
2008
In this paper we introduce Refractor Importance Sampling (RIS), an improvement to reduce error variance in Bayesian network importance sampling propagation under evidential reason...
87
Voted
AAAI
2004
15 years 2 months ago
2004
We study the computational complexity of reasoning with global constraints. We show that reasoning with such constraints is intractable in general. We then demonstrate how the sam...
115
Voted
AICOM
2007
15 years 26 days ago
2007
Representing the impact of external factors on the behaviour of a system is a challenge for modellers, particularly when these factors are dynamic and may change during the simulat...