Sciweavers

57 search results - page 7 / 12
» We need more than one: why students need a sophisticated und...
Sort
View
ITS
2000
Springer
128views Multimedia» more  ITS 2000»
13 years 11 months ago
Active Learner Modelling
Abstract. It is common to think of a "learner model" as a global description of a student's understanding of domain content. We propose a notion of learner model whe...
Gordon I. McCalla, Julita Vassileva, Jim E. Greer,...
KI
2004
Springer
14 years 24 days ago
Model Based Deduction for Database Schema Reasoning
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
AGI
2011
12 years 11 months ago
Compression and Intelligence: Social Environments and Communication
Compression has been advocated as one of the principles which pervades inductive inference and prediction - and, from there, it has also been recurrent in definitions and tests of...
David L. Dowe, José Hernández-Orallo...
CAS
2004
150views more  CAS 2004»
13 years 7 months ago
Accounting for Human Activity Through Physics
Accounting for human activity through physics does not require anything more than a switch of mind. Objectivity needs first to be recognized as an epistemological principle that s...
Paul Jorion
PLDI
2009
ACM
14 years 2 months ago
Trace-based just-in-time type specialization for dynamic languages
Dynamic languages such as JavaScript are more difficult to compile than statically typed ones. Since no concrete type information is available, traditional compilers need to emit...
Andreas Gal, Brendan Eich, Mike Shaver, David Ande...