2610 search results - page 150 / 522 » Computational Probabilistic Non-interference |
105
click to vote
AMAI
2002
Springer
15 years 2 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...
113
click to vote
COLING
2002
15 years 2 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...
126
click to vote
INFOCOM
2010
IEEE
15 years 11 days 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...
126
click to vote
PERCOM
2007
ACM
16 years 2 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...
114
click to vote
QEST
2009
IEEE
15 years 9 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....