Sciweavers

2322 search results - page 79 / 465
» On a game in directed graphs
Sort
View
ICAISC
2010
Springer
15 years 8 months ago
CI in General Game Playing - To Date Achievements and Perspectives
Abstract. Multigame playing agents are programs capable of autonomously learning to play new, previously unknown games. In this paper, we concentrate on the General Game Playing Co...
Karol Waledzik, Jacek Mandziuk
IFIP
2009
Springer
15 years 3 months ago
A User Interface for a Game-Based Protocol Verification Tool
We present a platform that allows a protocol researcher to specify the sequence of games from an initial protocol to a protocol where the security property under consideration can ...
Peeter Laud, Ilja Tsahhirov
ICCD
2004
IEEE
115views Hardware» more  ICCD 2004»
16 years 3 months ago
ACG-Adjacent Constraint Graph for General Floorplans
ACG (Adjacent Constraint Graph) is invented as a general floorplan representation. It has advantages of both adjacency graph and constraint graph of a floorplan: edges in an ACG...
Hai Zhou, Jia Wang
FSTTCS
2003
Springer
15 years 11 months ago
Pushdown Games with Unboundedness and Regular Conditions
We consider infinitary two-player perfect information games defined over graphs of configurations of a pushdown automaton. We show how to solve such games when winning condition...
Alexis-Julien Bouquet, Olivier Serre, Igor Walukie...
ACID
2006
298views Algorithms» more  ACID 2006»
15 years 7 months ago
Congestion Games: Optimization in Competition
In a congestion game, several players simultaneously aim at allocating sets of resources, e.g., each player aims at allocating a shortest path between a source/destination pair in ...
Berthold Vöcking