Sciweavers

2842 search results - page 48 / 569
» The Learn@WU Learning Environment
Sort
View
MKM
2009
Springer
14 years 3 months ago
Natural Deduction Environment for Matita
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
Claudio Sacerdoti Coen, Enrico Tassi
ICALT
2007
IEEE
14 years 3 months ago
Mathematical Working Environments for the Blind: What is Needed Now?
Blind people encounter great difficulties in dealing with Mathematics. Based on an analysis of these problems, we shall outline possible strategies to overcome them through softwa...
Dominique Archambault, Bernhard Stöger
ECTEL
2007
Springer
14 years 3 months ago
Creating Interactive Environments for Education
In this paper, based on recent scientific findings in the fields of neurology, evolutionary psychology and cognitive psychology we propose a software architecture and technology su...
Raúl V. Ramírez-Velarde, Jose Garcia...
UM
2007
Springer
14 years 3 months ago
Inducing User Affect Recognition Models for Task-Oriented Environments
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
Sunyoung Lee, Scott W. McQuiggan, James C. Lester
ACSE
2000
ACM
14 years 1 months ago
The information environments program - a new design based IT degree
The University of Queensland has recently established a new design-focused, studio-based IT degree at a new “flexible-learning” campus. The Bachelor of Information Environment...
Michael Docherty, Peter Sutton, Margot Brereton, S...