918 search results - page 27 / 184 » User Interface Aspects of a Translation Typing System |
MM
2009
ACM
15 years 4 months ago
2009
ACM
There are still no established methods for the evaluation of browsing and exploratory search tools. In the (multimedia) information retrieval community evaluations following the C...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Peer-to-peer networks consist of thousands or millions of nodes that might join and leave arbitrarily. The evaluation of new protocols in real environments is many times practical...
ECIR
2004
Springer
14 years 11 months ago
2004
Springer
This paper argues that a new paradigm for information retrieval has evolved that incorporates human attention and mental effort and takes advantage of new types of information obje...
72
Voted
ATAL
2004
Springer
15 years 2 months ago
2004
Springer
We studied the role of the competence of an interface agent that helped users to learn and use a text editor. Participants in the study made a set of changes to a document with th...
85
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...