290 search results - page 18 / 58 » The Intersection Probability and Its Properties |
SKG
2006
IEEE
14 years 2 months ago
2006
IEEE
The simplicity and robustness of unstructured P2P system make it a preferable architecture for constructing real large scale file sharing system. Most of the existing paradigms re...
QEST
2009
IEEE
14 years 3 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....
FLAIRS
2010
13 years 11 months ago
2010
To specify a Bayes net (BN), a conditional probability table (CPT), often of an effect conditioned on its n causes, needs assessed for each node. Its complexity is generally expon...
MFCS
2007
Springer
14 years 2 months ago
2007
Springer
The aim of this paper is to study communication in networks where nodes fail in a random dependent way. In order to capture fault dependencies, we introduce the neighborhood fault...
ADHOCNOW
2008
Springer
14 years 3 months ago
2008
Springer
Abstract. A current challenge in wireless sensor networks is the positioning of sensor nodes for indoor environments without dedicated hardware. Especially in this domain, many app...