We give bounds for the coefficients of a polynomial as functions of the diameter of its roots, hence we obtain polynomials with minimal diameters and small degree
This paper describes a document retrieval system called CAIRN that uses a case-based reasoning set using a large lexicon to automatically generate a case index to that document se...
: An approach to student modelling is presented where learners build their own student models. A more accurate model may thereby be obtained, and learners may reflect on their beli...
Despite being of crucial importance in Education, the issue of motivation has been only very recently explicitly addressed in Intelligent Tutoring Systems (ITS). In the few studies...
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilit...