Sciweavers

6355 search results - page 98 / 1271
» From Logic to Games
Sort
View
100
Voted
ACG
2003
Springer
15 years 6 months ago
New Games Related to Old and New Sequences
We define an infinite class of 2-pile subtraction games, where the amount that can be subtracted from both piles simultaneously, is a function f of the size of the piles. Wytho...
Aviezri S. Fraenkel
FDG
2009
ACM
15 years 5 months ago
Can middle-schoolers use Storytelling Alice to make games?: results of a pilot study
In this paper we share experiences from two 2-week summer courses for middle-school students in game programming using Storytelling Alice (SA). The students spent 20 hours learnin...
Linda L. Werner, Jill Denner, Michelle Bliesner, P...
100
Voted
FLAIRS
2008
15 years 3 months ago
Win, Lose, or Get Out the Way - Eliminating Unnecessary Evaluation in Game Search
In this paper we present our approach of improving the traditional alpha-beta search process for strategic board games by modifying the method in two ways: 1) forgoing the evaluat...
Hsiu-Chin Lin, Colleen van Lent
96
Voted
FM
2008
Springer
148views Formal Methods» more  FM 2008»
15 years 2 months ago
Precise Interval Analysis vs. Parity Games
In [?], a practical algorithm for precise interval analysis is provided for which, however, no non-trivial upper complexity bound is known. Here, we present a lower bound by showin...
Thomas Gawlitza, Helmut Seidl
95
Voted
DAGSTUHL
2007
15 years 2 months ago
The Unique Games Conjecture with Entangled Provers is False
We consider one-round games between a classical verifier and two provers who share entanglement. We show that when the constraints enforced by the verifier are ‘unique’ cons...
Julia Kempe, Oded Regev, Ben Toner