Sciweavers

59 search results - page 11 / 12
» The teaching of immunology using educational: gaming paradig...
Sort
View
JIIS
2008
104views more  JIIS 2008»
14 years 9 months ago
A framework for checking proofs naturally
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
Masahiko Sato
ITICSE
2006
ACM
15 years 3 months ago
Fast application development to demonstrate computer graphics concepts
Computer graphics concepts have a high visual component. For that reason, teaching this subject should be enriched with the use of small applications showing concepts like near an...
Pedro Pablo Gómez-Martín, Marco Anto...
ACMACE
2006
ACM
15 years 3 months ago
How real should virtual characters be?
In recent years 3D virtual characters have become more common in desktop interfaces, particularly in gaming and entertainment applications. In this paper we describe how augmented...
Daniel Wagner, Mark Billinghurst, Dieter Schmalsti...
HT
2000
ACM
15 years 2 months ago
Reusable hypertext structures for distance and JIT learning
Software components for distance and just-in-time (JIT) learning are an increasingly common method of encouraging reuse and facilitating the development process[58], but no analog...
Anne Morgan Spalter, Rosemary Michelle Simpson
VL
2010
IEEE
209views Visual Languages» more  VL 2010»
14 years 8 months ago
Towards the Automatic Recognition of Computational Thinking for Adaptive Visual Language Learning
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
Kyu Han Koh, Ashok R. Basawapatna, Vicki Bennett, ...