Sciweavers

6355 search results - page 29 / 1271
» From Logic to Games
Sort
View
QEST
2007
IEEE
14 years 5 months ago
Stochastic Game Logic
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
Christel Baier, Tomás Brázdil, Marcu...
MIE
2008
95views Healthcare» more  MIE 2008»
14 years 11 days ago
Diagnostic Games: from Adequate Formalization of Clinical Experience to Structure Discovery
A method of obtaining well-founded and reproducible results in clinical decision making is presented. It is based on "diagnostic games", a procedure of elicitation and fo...
Michael A. Shifrin, Eva I. Kasparova
GAMEON
2007
14 years 12 days ago
Map-Adaptive Artificial Intelligence for Video Games
This paper proposes an approach to automatically adapt game AI to the environment of the game (i.e., the socalled map). In the approach, a particular map is first analysed for sp...
Laurens van der Blom, Sander Bakkes, Pieter Spronc...
MOBISYS
2011
ACM
13 years 1 months ago
Switchboard: a matchmaking system for multiplayer mobile games
— Supporting interactive, multiplayer games on mobile phones over cellular networks is a difficult problem. It is particularly relevant now with the explosion of mostly single-p...
Justin Manweiler, Sharad Agarwal, Ming Zhang, Romi...
NETGAMES
2004
ACM
14 years 4 months ago
A mobile gaming platform for the IMS
Mobile devices offer the opportunity to play games nearly everywhere. Moreover, networked games allow individual players to interact with other people and to participate in a larg...
Amjad Akkawi, Sibylle Schaller, Oliver Wellnitz, L...