13026 search results - page 217 / 2606 » Probabilistic Relational Models |
118
Voted
ICNP
2007
IEEE
15 years 10 months ago
2007
IEEE
—We propose a new probabilistic coverage protocol (denoted by PCP) that considers probabilistic sensing models. PCP is fairly general and can be used with different sensing model...
121
Voted
AIIDE
2008
15 years 6 months ago
2008
Building credible Non-Playing Characters (NPCs) in games requires not only to enhance the graphic animation but also the behavioral model. This paper tackles the problem of the dy...
127
Voted
JCS
2006
15 years 3 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
151
Voted
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...
115
Voted
ICDCS
2008
IEEE
15 years 10 months ago
2008
IEEE
Self-stabilization is a strong property which guarantees that a network always resume a correct behavior starting from an arbitrary initial state. Weaker guarantees have later bee...