1057 search results - page 27 / 212 » its 1998 |
APAL
1998
13 years 9 months ago
1998
A model is computable if its domain is a computable set and its relations and functions are uniformly computable. Let A be a computable model and let R be an extra relation on the ...
ITS
1998
Springer
14 years 2 months ago
1998
Springer
This paper describes a method for learner modelling for use within simulation-based learning environments. The goal of the learner modelling system is to provide the learner with a...
ITS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract: This article reports on the application of general cognitive measures to describe and order the knowledge base of radiological images, aimed at the teaching of visual con...
STOC
2002
ACM
14 years 10 months ago
2002
ACM
In the dynamic load balancing problem, we seek to keep the job load roughly evenly distributed among the processors of a given network. The arrival and departure of jobs is modeled...
POPL
1998
ACM
14 years 2 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...