Sciweavers

Share
3 search results - page 1 / 1
» Analyze that: puzzles and analysis of algorithms
Sort
View
SIGCSE
2005
ACM
180views Education» more  SIGCSE 2005»
9 years 8 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»
9 years 7 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
9 years 4 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
books