2610 search results - page 71 / 522 » Computational Probabilistic Non-interference |
ICDCS
2008
IEEE
14 years 3 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...
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
EUC
2008
Springer
13 years 10 months ago
2008
Springer
Context-awareness is a key issue in pervasive computing. Context-aware applications are prone to the context consistency problem, where applications are confronted with conflictin...
ICPR
2000
IEEE
14 years 10 months ago
2000
IEEE
In this paper we look at the benefits to be gained in using gradient information to enhance the Progressive Probabilistic Hough Transform(PPHT). It is shown how using the angle in...
SAPIR
2004
Springer
14 years 2 months ago
2004
Springer
We consider the problem of routing in intermittently connected networks. In such networks there is no guarantee that a fully connected path between source and destination exist at...