1341 search results - page 65 / 269 » Probabilistic Abstraction Hierarchies |
168
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
198
click to vote
COMMA
2010
15 years 1 months ago
2010
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...
164
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...
152
click to vote
ALDT
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We propose various models for lobbying in a probabilistic environment, in which an actor (called “The Lobby”) seeks to influence the voters’ preferences of voting ...
151
click to vote
PIMRC
2008
IEEE
16 years 21 days ago
2008
IEEE
Abstract—We present a framework for throughput optimization for multipath unicast routing in wireless networks in the presence of probabilistic jamming. The framework introduces ...