8760 search results - page 74 / 1752 » Modeling users of intelligent systems |
ISDA
2005
IEEE
15 years 5 months ago
2005
IEEE
Genetic Algorithms (GAs) are very popular optimization tool, although efficient applications of GAs requires users have problem with setting their parameters and used genetic ope...
103
click to vote
EDM
2008
15 years 1 months ago
2008
One of the unresolved problems faced in the construction of intelligent tutoring systems is the acquisition of background knowledge, either for the specification of the teaching st...
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
100
click to vote
AIED
2009
Springer
15 years 4 months ago
2009
Springer
EAGLE (Electronic Assistant for Game-Based Learning Experiences) is an intelligent tutoring system that supports learning with video games. We describe how a flexible ontology-base...
112
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, we describe the development of an Embodied Conversational Agent (ECA) implementing the concept of a companion, i.e. an agent supporting the persistent representatio...