4447 search results - page 781 / 890 » Model Checking Games |
170
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
180
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—Peer-to-peer (P2P) networks offer a cost effective and easily deployable framework for sharing user-generated content. However, intrinsic incentive problems reside in P2P networ...
192
click to vote
JAIR
2010
15 years 4 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
154
click to vote
MIG
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Navigation meshes are commonly employed as a practical representation for path planning and other navigation queries in animated virtual environments and computer games. ...
182
click to vote
MST
2010
15 years 4 months ago
2010
We study the sensitivity of equilibria in the well-known game theoretic traffic model due to Wardrop. We mostly consider single-commodity networks. Suppose, given a unit demand fl...