2813 search results - page 86 / 563 » Design and Use of Technology Enhanced Learning Environments |
MKM
2009
Springer
15 years 4 months ago
2009
Springer
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...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we study how the performance and usability of web dialogue systems could be enhanced by using an appropriate representation of the different types of knowledge invo...
ECBS
2000
IEEE
15 years 2 months ago
2000
IEEE
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components, component behavior and interaction a...
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
One of the challenges in pervasive computing is communication between a mobile user's terminal and the continuously changing local environment. Bluetooth is one potential opt...
SIGCSE
2005
ACM
15 years 3 months ago
2005
ACM
Operating system courses teach students much more when they provide hands-on kernel-level project experience with a real operating system. However, enabling a large class of stude...