The availability of a good interface for online user collaboration has been a sore point for most collaboration applications to date. While MUD’s, MOO’s, IRC and other chat ap...
Abstract—Cognitive radio technologies have become a promising approach to efficiently utilize the spectrum. Although many works have been proposed recently in the area of cognit...
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...
Maria Cutumisu, Duane Szafron, Jonathan Schaeffer,...
We present a Coq-formalised proof that all non-cooperative, sequential games have a Nash equilibrium point. Our proof methodology follows the style advocated by LCFstyle theorem p...
Auctions are useful mechanism for allocating items (goods, tasks, resources, etc.) in multiagent systems. The bulk of auction theory assumes that the bidders’ valuations for ite...