1284 search results - page 47 / 257 » On Helping and Interactive Proof Systems |
ECTEL
2007
Springer
14 years 3 months ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...
MSR
2010
ACM
13 years 10 months ago
2010
ACM
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...
CHI
2003
ACM
14 years 9 months ago
2003
ACM
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...
INTERACT
2003
13 years 10 months ago
2003
: 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...
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Feature-oriented software development (FOSD) aims at the construction, customization, and synthesis of large-scale software systems. We propose a novel software design paradigm,...