620 search results - page 30 / 124 » Computer tutoring for programming education |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...
ITICSE
2009
ACM
14 years 3 months ago
2009
ACM
The Xen Worlds project at Iowa State University was designed to provide a virtualized lab environment for the Information Assurance program. The large number of off-campus student...
ACMSE
2007
ACM
14 years 1 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
This paper presents KnowledgeTree, an architecture for adaptive E-Learning based on distributed reusable intelligent learning activities. The goal of KnowledgeTree is to bridge th...
FLAIRS
2000
13 years 10 months ago
2000
This article presents the description of the objectives, the structure and the functionality of an interactive system intended to focus the teaching on the performanceof the stude...