Sciweavers

2025 search results - page 243 / 405
» Theory as Game: Designing the Game Game
Sort
View
SIGCSE
2010
ACM
187views Education» more  SIGCSE 2010»
15 years 11 months ago
Game-themed programming assignments for faculty: a case study
Despite the proven success of using computer video games as a context for teaching introductory programming (CS1/2) courses, barriers including the lack of adoptable materials, re...
Cinnamon Hillyard, Robin Angotti, Michael Panitz, ...
CSL
2004
Springer
15 years 11 months ago
A Third-Order Bounded Arithmetic Theory for PSPACE
We present a novel third-order theory W1 1 of bounded arithmetic suitable for reasoning about PSPACE functions. This theory has the advantages of avoiding the smash function symbol...
Alan Skelley
TEI
2009
ACM
103views Hardware» more  TEI 2009»
16 years 1 months ago
A tangible construction kit for exploring graph theory
Graphs are a versatile representation of many systems in computer science, the social sciences, and mathematics, but graph theory is not taught in schools. We present our work on ...
Eric Schweikardt, Nwanua Elumeze, Michael Eisenber...
AAAI
2007
15 years 8 months ago
A Logical Theory of Coordination and Joint Ability
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...
TEDU
2012
289views Education» more  TEDU 2012»
14 years 2 months ago
Propositions for Innovative Forms of Digital Interactive Storytelling Based on Narrative Theories and Practices
This paper takes a look at narrative forms as of yet unexplored in the field of digital interactive storytelling, and proposes methods for how they can be used in engaging ways fo...
Nicolas Szilas, Monica Axelrad, Urs Richle