5900 search results - page 924 / 1180 » Dependable Systems |
131
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
A MAS architecture consisting of service centers is proposed. Within each service center, a mediator coordinates service delivery by allocating individual tasks to corresponding t...
169
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Human team members often develop shared expectations to predict each other’s needs and coordinate their behaviors. In this paper the concept “Shared Belief Map” is proposed ...
147
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Recent results have established that a variety of voting rules are computationally hard to manipulate in the worst-case; this arguably provides some guarantee of resistance to man...
170
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
We develop a new graphical representation for interactive partially observable Markov decision processes (I-POMDPs) that is significantly more transparent and semantically clear t...
176
click to vote
CSL
2007
Springer
16 years 24 days ago
2007
Springer
We consider the problem of automating and checking the use of previously proved lemmas in the proof of some main theorem. In particular, we call the collection of such previously p...