16 search results - page 1 / 4 » On Preferring and Inspecting Abductive Models |
PADL
2009
Springer
14 years 5 months ago
2009
Springer
AIED
2009
Springer
13 years 11 months ago
2009
Springer
We present an inspectable learner model to prompt noticing in language learning, considering interaction preferences. Four patterns of model inspection were seen, but most students...
ITS
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
IJMMS
2006
13 years 4 months ago
2006
One of the major challenges in computer vision is to create automated systems that perform tasks with at least the same competences as human experts. In particular for automated i...
AVI
2004
13 years 6 months ago
2004
In this paper we propose ValueCharts, a set of visualizations and interactive techniques intended to support decision-makers in inspecting linear models of preferences and evaluat...