1274 search results - page 147 / 255 » Educating reflective systems developers |
156
click to vote
CADE
2004
Springer
16 years 4 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...
105
click to vote
ERCIMDL
2009
Springer
15 years 11 months ago
2009
Springer
In recent years information systems such as digital repositories, built to support research practice, have struggled to encourage participation partly due to inadequate analysis of...
141
click to vote
ICADL
2007
Springer
15 years 10 months ago
2007
Springer
We describe the Image Tagger system – a web-based tool for supporting collaborative image indexing by students. The tool has been used in three successive graduate-level classes ...
191
click to vote
IWRIDL
2006
ACM
15 years 10 months ago
2006
ACM
The importance of evaluation in promoting research and development in the information retrieval and natural language processing domains has long been recognised but is this suffic...
166
click to vote
HAPTICS
2005
IEEE
15 years 10 months ago
2005
IEEE
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...