848 search results - page 64 / 170 » A study into the usability of e-encyclopaedias |
178
click to vote
ENTCS
2008
15 years 6 months ago
2008
Normalization for the simply-typed -calculus is proven in Twelf, an implementation of the Edinburgh Logical Framework. Since due to proof-theoretical restrictions Twelf Tait'...
167
click to vote
KBS
2006
15 years 6 months ago
2006
Bayesian networks (BNs) provide a means for representing, displaying, and making available in a usable form the knowledge of experts in a given Weld. In this paper, we look at the...
121
click to vote
CHI
2006
ACM
16 years 6 months ago
2006
ACM
The PhotoArcs interface aims to enable easy and fun creation and manipulation of photo-narratives to encourage sharing and interaction. PhotoArcs leverages the benefits of existin...
120
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
The evaluation of paper prototypes is normally conducted in controlled settings such as a usability lab. This paper, in contrast, reports on a study where evaluations of a paper p...
154
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...