7960 search results - page 450 / 1592 » Systems for Knowledge and Beliefs |
162
click to vote
CCS
2004
ACM
16 years 13 days ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...
202
click to vote
IEAAIE
1994
Springer
15 years 11 months ago
1994
Springer
Two recent projects at ORA have used a blackboard framework during system design.1 DANA is a multimedia network monitoring system, while MARRS is a real-time passive radar system....
149
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we explored the relationship between metacognitive statements and learning gains with students’ typed and spoken interactions with an intelligent tutoring system, c...
188
click to vote
ECTEL
2007
Springer
2007
Springer
Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture
16 years 1 months ago
Abstract. We present a service-oriented personalization system, set in an educational framework, based on a semantic annotation of courses, given at a knowledge level (what the cou...
187
click to vote
ICALT
2003
IEEE
16 years 10 days ago
2003
IEEE
In the context of Intelligent Learning Environments (ILE), adaptivity plays a key role. In order to achieve adaptive behavior an ILE should have a rich representation of the learn...