35416 search results - page 170 / 7084 » Evaluation |
142
click to vote
HT
1998
ACM
15 years 10 months ago
1998
ACM
In this paper we propose and study a framework for evaluating Hypermedia Application Development and Management Systems (HADMS) in relation to specific application requirements. W...
174
click to vote
SIGMOD
1998
ACM
15 years 10 months ago
1998
ACM
The proliferation of the World Wide Web has brought information retrieval (IR) techniques to the forefront of search technology. To the average computer user, “searching” now ...
185
click to vote
PEPM
1998
ACM
15 years 10 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
167
click to vote
SIGIR
1996
ACM
15 years 10 months ago
1996
ACM
We report on the design and evaluation of a visualization tool for Information Retrieval (IR) systems that aims to help the end user in the following respects:
141
click to vote
FOCS
1992
IEEE
15 years 10 months ago
1992
IEEE
The problem of evaluating the sign of the determinant of a small matrix arises in many geometric algorithms. Given an n