7988 search results - page 1450 / 1598 » A Useful Undecidable Theory |
147
click to vote
SOUPS
2010
ACM
15 years 7 months ago
2010
ACM
An increasing number of high-tech devices, such as driver monitoring systems and Internet usage monitoring tools, are advertised as useful or even necessary for good parenting of ...
152
click to vote
ICASSP
2009
IEEE
15 years 7 months ago
2009
IEEE
Optimized opportunistic multicast scheduling (OMS) has been studied previously by the authors for homogeneous cellular networks, where the problem of efficiently transmitting a co...
124
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Distributed constraint optimization (DCOP) has emerged as a useful technique for multiagent coordination. While previous DCOP work focuses on optimizing a single team objective, i...
146
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
145
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...