3815 search results - page 141 / 763 » An Implementation of Session Types |
MASCOTS
2007
13 years 9 months ago
2007
—Intuitively, it seems that understanding how the performance of a system affects its users requires research in psychology and the conducting of live experiments. We demonstrate...
AAAI
2006
13 years 9 months ago
2006
We consider example-critiquing systems that help people search for their most preferred item in a large catalog. We first analyze how such systems can help users in the framework ...
ECSCW
1997
13 years 9 months ago
1997
The World Wide Web is increasingly seen as an attractive technology for the deployment and evaluation of groupware However the underlying architecture of the Web is inherently stat...
IANDC
2006
13 years 8 months ago
2006
Interactive theorem provers require too much effort from their users. We have been developing a system in which Isabelle users obtain automatic support from automatic theorem prov...
KES
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents a user interface to the User-Centred Knowledge Model (t-UCK). T-UCK is a knowledge modelling tool for designing knowledge-intensive systems. The model centres r...