2610 search results - page 402 / 522 » Computational Probabilistic Non-interference |
146
click to vote
NDSS
2009
IEEE
15 years 10 months 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...
145
Voted
LICS
2009
IEEE
15 years 10 months 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...
114
Voted
ATAL
2009
Springer
15 years 10 months 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 ...
228
Voted
DSN
2008
IEEE
15 years 9 months 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, ...
142
click to vote
ICPR
2008
IEEE
15 years 9 months 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...