6598 search results - page 1289 / 1320 » Graph Theory with Applications |
151
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Decentralized partially observable Markov decision processes (Dec-POMDPs) constitute an expressive framework for multiagent planning under uncertainty, but solving them is provabl...
122
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Mechanism design (MD) has recently become a very popular approach in the design of distributed systems of autonomous agents. A key assumption required for the application of MD is...
120
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
We demonstrate two game theory-based programs for headsup limit and no-limit Texas Hold'em poker. The first player, GS3, is designed for playing limit Texas Hold'em, in ...
160
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
125
click to vote
CHI
2008
ACM
15 years 6 months ago
2008
ACM
As emphasis is placed on developing mobile, educational, and other applications that minimize cognitive load on users, it is becoming more essential to base interface design on im...