1284 search results - page 119 / 257 » On Helping and Interactive Proof Systems |
ACMIDC
2009
15 years 1 months ago
2009
This paper presents early work on the "Jots" system, integrated with the Scratch programming environment, which aims to help learners reflect on their learning processes...
EDM
2010
14 years 11 months ago
2010
Learning management systems capture student's interactions with the course contents in the form of event logs, including the order in which resources are accessed. We build on...
CORIA
2008
14 years 11 months ago
2008
This paper presents an iterative and interactive information retrieval system to search on the web using formal concept analysis (FCA). FCA provides a natural way to organise objec...
WEBNET
1998
14 years 11 months ago
1998
: Perusal of textual displays of document surrogates produced by Web-based ranked-output retrieval services may require much user time, effort, and money. In this paper we present ...
CHI
2009
ACM
14 years 7 months ago
2009
ACM
Psychologically preparing for upcoming events can be a difficult task, particularly when switching social contexts, e.g., from office work to a family event. To help with such tra...