Sciweavers

3 search results - page 1 / 1
» Analyze that: puzzles and analysis of algorithms
Sort
View
SIGCSE
2005
ACM
180views Education» more  SIGCSE 2005»
13 years 11 months 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
FUN
2010
Springer
293views Algorithms» more  FUN 2010»
13 years 10 months ago
Computational Complexity of Two-Dimensional Platform Games
Abstract. We analyze the computational complexity of various twodimensional platform games. We identify common properties of these games that allow us to state several meta-theorem...
Michal Forisek
EJC
2008
13 years 7 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser