2610 search results - page 402 / 522 » Computational Probabilistic Non-interference |
197
click to vote
NDSS
2009
IEEE
16 years 29 days ago
2009
IEEE
SybilInfer is an algorithm for labelling nodes in a social network as honest users or Sybils controlled by an adversary. At the heart of SybilInfer lies a probabilistic model of h...
177
click to vote
LICS
2009
IEEE
16 years 27 days ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...
152
click to vote
ATAL
2009
Springer
16 years 25 days ago
2009
Springer
Knockout tournaments constitute a common format of sporting events, and also model a specific type of election scheme (namely, sequential pairwise elimination election). In such ...
261
click to vote
DSN
2008
IEEE
16 years 21 days ago
2008
IEEE
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
173
click to vote
ICPR
2008
IEEE
16 years 21 days ago
2008
IEEE
We propose a Dynamic Bayesian Network (DBN) model for upper body tracking. We first construct a Bayesian Network (BN) to represent the human upper body structure and then incorpo...