Sciweavers

326 search results - page 37 / 66
» Closing the Gap
Sort
View
CHI
2000
ACM
15 years 2 months ago
Instructional interventions in computer-based tutoring: differential impact on learning time and accuracy
We can reliably build “second generation” intelligent computer tutors that are approximately half as effective as human tutors. This paper evaluates two interface enhancements...
Albert T. Corbett, Holly J. Trask
81
Voted
VRST
1998
ACM
15 years 2 months ago
A constraint-based approach to rigid body dynamics for virtual reality applications
The GALILEO-system is a developmental state-of-the-art rigid body simulation tool with a strong bias to the simulation of unilateral contacts for virtual reality applications. On ...
Jörg Sauer, Elmar Schömer
79
Voted
ACMACE
2007
ACM
15 years 2 months ago
An experimental setting to measure contextual perception of embodied conversational agents
We introduce an experimental setting to observe and measure the perception of facial expression performed by embodied conversational agents (ECAs). The experimental set-up enables...
Michael Lankes, Regina Bernhaupt, Manfred Tschelig...
84
Voted
CAV
2010
Springer
172views Hardware» more  CAV 2010»
15 years 2 months ago
Symbolic Bounded Synthesis
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...
Rüdiger Ehlers
109
Voted
SWSTE
2010
IEEE
15 years 2 months ago
Agility in a Large-Scale System Engineering Project: A Case-Study of an Advanced Communication System Project
—In this paper we describe the application of the agile software development approach in system engineering projects. We describe the main characteristics of system projects, hig...
Amir Shatil, Orit Hazzan, Yael Dubinsky