Sciweavers

5675 search results - page 873 / 1135
» Formalising Performative Interaction
Sort
View
AIED
2007
Springer
16 years 11 days ago
The Influence of Learner Characteristics on Task-Oriented Tutorial Dialogue
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
Kristy Elizabeth Boyer, Mladen A. Vouk, James C. L...
AIED
2007
Springer
16 years 11 days ago
Mind and Body: Dialogue and Posture for Affect Detection in Learning Environments
We investigated the potential of automatic detection of a learner’s affective states from posture patterns and dialogue features obtained from an interaction with AutoTutor, an i...
Sidney K. D'Mello, Arthur C. Graesser
AIED
2007
Springer
16 years 11 days ago
A Spoken Translation Game for Second Language Learning
In this paper, we describe a Web-based spoken translation game aimed at providing language learners with an easily accessible and fun environment to practice speaking the foreign l...
Chao Wang, Stephanie Seneff
AOSE
2007
Springer
16 years 11 days ago
Open Agent Systems???
Abstract. E-institutions are envisioned as facilities on the Internet for heterogeneous software agents to perform their interactions and thus forming truly open agent systems. We ...
Frank Dignum, Virginia Dignum, John Thangarajah, L...
ATVA
2007
Springer
136views Hardware» more  ATVA 2007»
16 years 11 days ago
Symbolic Fault Tree Analysis for Reactive Systems
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
Marco Bozzano, Alessandro Cimatti, Francesco Tappa...