7404 search results - page 409 / 1481 » New Tools in Education |
199
click to vote
CADE
2004
Springer
16 years 7 months ago
2004
Springer
This paper presents the Dr.Doodle system, an interactive theorem prover that uses diagrammatic representations. The assumption underlying this project is that, for some domains (pr...
146
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, we describe the adaptation of an autonomous robotic wheelchair for cognitive disabled children. The constraints imposed by these users require developing speciď¬...
150
click to vote
MHCI
2004
Springer
16 years 9 days ago
2004
Springer
Abstract. The goal of this work is to provide tools that promote social interactions between visitors through cooperative and educational games. In this paper, we describe how to s...
194
click to vote
PPPJ
2003
ACM
16 years 6 days ago
2003
ACM
We report on a continuing study into teaching programming to pre-teens school-children, with some as young as seven years old. As part of the study we aim to test childrens’ alg...
180
click to vote
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
Authoring tools for building Intelligent Educational Systems must provide support to ensure flexibility, adaptability of content to the user profile, reusability and sharing of le...