Sciweavers

1284 search results - page 47 / 257
» On Helping and Interactive Proof Systems
Sort
View
ECTEL
2007
Springer
15 years 10 months ago
Smart Indicators on Learning Interactions
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
Christian Glahn, Marcus Specht, Rob Koper
129
Voted
MSR
2010
ACM
15 years 6 months ago
Replaying IDE interactions to evaluate and improve change prediction approaches
Abstract—Change prediction helps developers by recommending program entities that will have to be changed alongside the entities currently being changed. To evaluate their accura...
Romain Robbes, Damien Pollet, Michele Lanza
109
Voted
CHI
2003
ACM
16 years 4 months ago
CHI-ball, an interactive device assisting martial arts education for children
In this paper, we discuss the output of a student project about the design of a physically interactive system to assist the education of martial arts to children. The conceptual s...
Markus Heberlein, Hayashi Takafumi, Nashold Sarah,...
INTERACT
2003
15 years 5 months ago
Confidence Displays and Training in Recommender Systems
: Recommender systems help users sort through vast quantities of information. Sometimes, however, users do not know if they can trust the recommendations they receive. Adding a con...
Sean M. McNee, Shyong K. Lam, Catherine Guetzlaff,...
ISSRE
2010
IEEE
15 years 2 months ago
Detecting Dependences and Interactions in Feature-Oriented Design
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...
Sven Apel, Wolfgang Scholz, Christian Lengauer, Ch...