2610 search results - page 150 / 522 » Computational Probabilistic Non-interference |
AMAI
2002
Springer
13 years 10 months ago
2002
Springer
Probabilistic argumentation systems are based on assumption-based reasoning for obtaining arguments supporting hypotheses and on probability theory to compute probabilities of sup...
COLING
2002
13 years 10 months ago
2002
Title generation is a complex task involving both natural language understanding and natural language synthesis. In this paper, we propose a new probabilistic model for title gene...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
On today's high-speed backbone network links, measuring per-flow traffic information has become very challenging. Maintaining exact per-flow packet counters on OC-192 or OC-76...
PERCOM
2007
ACM
14 years 9 months ago
2007
ACM
This paper investigates the role of existing "probabilistic" schemes to reason about various everyday situations on the basis of data from multiple heterogeneous physical...
QEST
2009
IEEE
14 years 5 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....