13917 search results - page 45 / 2784 » Abstraction of Probabilistic Systems |
100
click to vote
ECSQARU
1993
Springer
15 years 1 months ago
1993
Springer
Abstract. This paper discusses the relationship between incidence calculus and the ATMS. It shows that managing labels for statements in an ATMS is similar to producing the inciden...
AI
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. In this paper, we propose that the select operator in relational databases be adopted for incorporating evidence in Bayesian networks. This approach does not involve the ...
JOLLI
2006
14 years 9 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 ...
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract: We propose a novel probabilistic method for detection of objects in noisy images. The method uses results from percolation and random graph theories. We present an algori...
FSTTCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...