Sciweavers

4435 search results - page 171 / 887
» Algorithms, games, and the internet
Sort
View
SIGCSE
2005
ACM
180views Education» more  SIGCSE 2005»
16 years 5 days ago
Analyze that: puzzles and analysis of algorithms
The paper advocates a wider use of puzzles and puzzle-like games in teaching the analysis of algorithms. It discusses many specific examples—from classic puzzles of recreational...
Anany Levitin
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...
152
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