57 search results - page 4 / 12 » We need more than one: why students need a sophisticated und... |
UM
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Recent progress has been made by using sensors with Intelligent Tutoring Systems in classrooms in order to predict the affective state of students users. If tutors are a...
IFL
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
NDQA
2003
13 years 8 months ago
2003
Growth in government investment, academic research, and commercial question answering (QA) systems is motivating a need for increased planning and coordination. The internationali...
ICCS
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. Bulk Synchronous Parallel ML or BSML is a functional dataparallel language for programming bulk synchronous parallel (BSP) algorithms. The execution time can be estimated...
FASE
2005
Springer
14 years 29 days ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...