1341 search results - page 65 / 269 » Probabilistic Abstraction Hierarchies |
180
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...
217
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...
185
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 ...
169
click to vote
ALDT
2009
Springer
16 years 1 months 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 ...
166
click to vote
PIMRC
2008
IEEE
16 years 1 months 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 ...