634 search results - page 102 / 127 » A case study of user participation in the information system... |
CG
2010
Springer
13 years 5 months ago
2010
Springer
Generating, grouping, and labeling free-sketch data is a difficult and time-consuming task for both user study participants and researchers. To simplify this process for both part...
SIGIR
1998
ACM
13 years 11 months ago
1998
ACM
Most casual users of IR systems type short queries. Recent research has shown that adding new words to these queries via adhoc feedback improves the retrieval e ectiveness of such ...
SOFTVIS
2005
ACM
14 years 1 months ago
2005
ACM
During the life cycle of a software system, the source code is changed many times. We study how developers can be enabled to get insight in these changes, in order to understand t...
AVI
2004
13 years 9 months ago
2004
This paper describes the 3Book, a 3D interactive visualization of a codex book as a component for various digital library and sensemaking systems. The book is designed to hold lar...
ICSE
1999
IEEE-ACM
13 years 11 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...