Sciweavers

18918 search results - page 331 / 3784
» Using Technology in Teaching
Sort
View
ISMAR
2003
IEEE
15 years 9 months ago
Augmented Reality Kanji Learning
ARToolKit programmers are familiar with the kanji symbols supplied with the distribution. Most of them have do not know what these kanji symbols mean. We propose a piece of educat...
Daniel Wagner, István Barakonyi
KBSE
1999
IEEE
15 years 8 months ago
An ML Editor Based on Proofs-As-Programs
CYNTHIA is a novel editor for the functional programming language ML in which each function definition is represented as the proof of a simple specification. Users of CYNTHIA edit...
Jon Whittle, Alan Bundy, Richard J. Boulton, Helen...
SPW
1997
Springer
15 years 8 months ago
Secure Books: Protecting the Distribution of Knowledge
We undertook a project to secure the distribution of medical information using Wax. This is a proprietary hypertext-based system used for information such as treatment protocols, d...
Ross J. Anderson, Václav Matyás Jr.,...
ICALT
2009
IEEE
15 years 8 months ago
Supporting Teacher Intervention in Unpredictable Learning Environments
Modern teaching tools, such as educational robotics, require new learning environments. The teacher especially needs to be supported in novel ways. Conflative learning environment...
Ilkka Jormanainen, Antony Harfield, Erkki Sutinen
CSEE
2006
Springer
15 years 8 months ago
Writing as a Tool for Learning Software Engineering
This paper presents an educational method used to improve teaching of tedious topics in software engineering courses that can be difficult for students to comprehend without any r...
Alf Inge Wang, Carl-Fredrik Sørensen