5084 search results - page 879 / 1017 » Proving Possibility Properties |
141
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
150
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Consider a generic data unit of random size L that needs to be transmitted over a channel of unit capacity. The channel dynamics is modeled as an on-off process {(Ai, Ui)}i≥1...
130
Voted
ATAL
2007
Springer
2007
Springer
Coalition formation under uncertainty: bargaining equilibria and the Bayesian core stability concept
15 years 10 months ago
Coalition formation is a problem of great interest in AI, allowing groups of autonomous, rational agents to form stable teams. Furthermore, the study of coalitional stability conc...
140
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
151
click to vote
KDD
2007
ACM
15 years 10 months ago
2007
ACM
Mixture models form one of the most widely used classes of generative models for describing structured and clustered data. In this paper we develop a new approach for the analysis...