Sciweavers

5995 search results - page 241 / 1199
» Algorithmic Game Theory
Sort
View
ATVA
2010
Springer
169views Hardware» more  ATVA 2010»
15 years 7 months ago
Compositional Algorithms for LTL Synthesis
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
Emmanuel Filiot, Naiyong Jin, Jean-François...
153
Voted
ALT
2009
Springer
15 years 11 months ago
The Follow Perturbed Leader Algorithm Protected from Unbounded One-Step Losses
In this paper the sequential prediction problem with expert advice is considered for the case when the losses of experts suffered at each step can be unbounded. We present some mo...
Vladimir V. V'yugin
JMLR
2011
137views more  JMLR 2011»
15 years 1 months ago
Online Learning in Case of Unbounded Losses Using Follow the Perturbed Leader Algorithm
In this paper the sequential prediction problem with expert advice is considered for the case where losses of experts suffered at each step cannot be bounded in advance. We presen...
Vladimir V. V'yugin
ACHI
2010
IEEE
16 years 1 months ago
Music Box: An Algorithm for Producing Visual Music
— This research proposes a method for producing music via visual composition in a computer-game like environment. This is accomplished through the development of artificial intel...
Lindsay Grace
143
Voted
CG
2006
Springer
15 years 10 months ago
A Retrograde Approximation Algorithm for One-Player Can't Stop
Abstract. A one-player, finite, probabilistic game with perfect information can be presented as a bipartite graph. For one-player Can't Stop, the graph is cyclic and the chall...
James Glenn, Haw-ren Fang, Clyde P. Kruskal