Sciweavers

3787 search results - page 34 / 758
» The Use of Agents Techniques on Intelligent Tutoring Systems
Sort
View
ATAL
2004
Springer
15 years 3 months ago
State-Space Reduction Techniques in Agent Verification
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
AIED
2005
Springer
15 years 5 months ago
Do Performance Goals Lead Students to Game the System?
Students approach the learning opportunity offered by intelligent tutoring systems with a variety of goals and attitudes. These goals and attitudes can substantially affect student...
Ryan Shaun Baker, Ido Roll, Albert T. Corbett, Ken...
JBI
2008
169views Bioinformatics» more  JBI 2008»
14 years 11 months ago
A collaborative medical case authoring environment based on the UMLS
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
Siriwan Suebnukarn, Peter Haddawy, Phattanapon Rhi...
PROCEDIA
2010
157views more  PROCEDIA 2010»
14 years 10 months ago
Recommender system for predicting student performance
Recommender systems are widely used in many areas, especially in e-commerce. Recently, they are also applied in e-learning tasks such as recommending resources (e.g. papers, books...
Nguyen Thai-Nghe, Lucas Drumond, Artus Krohn-Grimb...
FLAIRS
2006
15 years 1 months ago
Predicting Learners' Emotional Response in Intelligent Distance Learning Systems
Different research studies have proved that emotions meet a pivotal role in cognitive processes and in particular the studies made by Damasio who argues that human-beings without ...
Soumaya Chaffar, Claude Frasson