4447 search results - page 504 / 890 » Model Checking Games |
186
click to vote
WG
2005
Springer
16 years 1 months ago
2005
Springer
We review the concepts of hypertree decomposition and hypertree width from a graph theoretical perspective and report on a number of recent results related to these concepts. We al...
199
click to vote
SIGECOM
2003
ACM
16 years 24 days ago
2003
ACM
Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish thing...
175
click to vote
AAAI
2007
15 years 10 months ago
2007
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...
212
click to vote
AI
2006
Springer
15 years 7 months ago
2006
Springer
Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish thing...
199
click to vote
DSRT
2004
IEEE
15 years 11 months ago
2004
IEEE
As Distributed Interactive Applications (DIAs) become increasingly more prominent in the video game industry they must scale to accommodate progressively more users and maintain a...