4007 search results - page 151 / 802 » Computation with imprecise probabilities |
161
Voted
FORMATS
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
164
click to vote
ICDCSW
2006
IEEE
16 years 5 days ago
2006
IEEE
In this paper we present a gossip based protocol for path discovery in Mobile Ad Hoc Networks (MANETs). While in the classical gossip algorithm each node forwards a packet with th...
166
click to vote
ISIPTA
2005
IEEE
15 years 11 months ago
2005
IEEE
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
180
click to vote
ICALP
2005
Springer
15 years 11 months ago
2005
Springer
We introduce Recursive Markov Decision Processes (RMDPs) and Recursive Simple Stochastic Games (RSSGs), which are classes of (finitely presented) countable-state MDPs and zero-su...
168
click to vote
CVPR
2000
IEEE
15 years 10 months ago
2000
IEEE
Background modeling is a common component in video surveillance systems and is used to quickly identify regions of interest. To increase the robustness of background subtraction t...