2413 search results - page 278 / 483 » Models for universal usability |
109
click to vote
TYPES
2000
Springer
15 years 4 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
91
Voted
WSC
2008
15 years 3 months ago
2008
This study evaluates appointment systems used in hospitals by incorporating appointment rules and patient characteristics. Using an experiment unit at an internal medicine departm...
96
Voted
CIE
2008
Springer
15 years 2 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
104
Voted
ICALT
2007
IEEE
15 years 2 months ago
2007
IEEE
In order to analyze the factors that raise the motivation of students in the art design faculty and digital design faculty to learn programming, a programming course using Process...
96
Voted
EDM
2008
15 years 2 months ago
2008
In this paper we compare different data mining methods and techniques for classifying students based on their Moodle usage data and the final marks obtained in their respective cou...