2468 search results - page 403 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
131
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Many multiagent domains where cooperation among agents is crucial to achieving a common goal can be modeled as coalitional games. However, in many of these domains, agents are une...
168
click to vote
AAAI
2006
15 years 4 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
142
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
We present a novel method of statistical surface-based morphometry based on the use of non-parametric permutation tests. In order to evaluate morphologicaldifferences of brain str...
142
Voted
EUROPAR
2007
Springer
15 years 9 months ago
2007
Springer
We study the connectivity properties of a family of random graphs which closely model the Bluetooth’s device discovery process, where each device tries to connect to other device...
147
Voted
TWC
2011
14 years 10 months ago
2011
—In this paper, the performance of the ALOHA and CSMA MAC protocols are analyzed in spatially distributed wireless networks. The main system objective is correct reception of pac...