127 search results - page 1 / 26 » Interactive Learning Based Realizability and 1-Backtracking ... |
CORR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. We prove that interactive learning based classical realizability (introduced by Aschieri and Berardi for first order arithmetic [1]) is sound with respect to Coquand game...
IFIP3
2008
13 years 6 months ago
2008
Abstract. In this paper, we describe an innovative concept of threedimensional interactive educational games that combine the excitement and looks of popular computer games with th...
HCI
2009
13 years 3 months ago
2009
Abstract. Interactive Game-Based Learning might be used to raise the awareness of students concerning questions of sustainability. Sustainability is a very complex topic. By intera...
ICALT
2007
IEEE
13 years 11 months ago
2007
IEEE
How can game designers realize the balance of “educational function” and “entertainment” in a Computer-based Educational Game (CEG)? The concept of IMS learning design (LD...
EDUTAINMENT
2009
Springer
13 years 12 months ago
2009
Springer
Computer games are tremendously successful and this is why the potential of using this medium for educational purposes is increasingly recognized and researched. However, as new le...