1524 search results - page 157 / 305 » Game Relations and Metrics |
143
click to vote
FOSSACS
2007
Springer
16 years 22 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
152
click to vote
LAWEB
2005
IEEE
16 years 4 days ago
2005
IEEE
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
146
click to vote
ASIAN
2005
Springer
16 years 3 days ago
2005
Springer
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
172
click to vote
COLT
2004
Springer
15 years 12 months ago
2004
Springer
: We introduce a graph-theoretic generalization of classical Arrow-Debreu economics, in which an undirected graph specifies which consumers or economies are permitted to engage in...
182
click to vote
ROBOCUP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. To date, RoboCup games have all been played under constant, bright lighting conditions. However, in order to meet the overall goal of RoboCup, robots will need to be able...