9110 search results - page 237 / 1822 » Formally-Based Design Evaluation |
160
click to vote
SIGIR
1999
ACM
15 years 10 months ago
1999
ACM
Although there have been many prototypes of visualization in support of information retrieval, there has been little systematic evaluation that distinguishes the benefits of the v...
144
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...
178
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...
152
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
This paper is about an information retrieval evaluation on three different retrieval-supporting services. All three services were designed to compensate typical problems that aris...
185
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We study here fundamental issues involved in top-k query evaluation in probabilistic databases. We consider simple probabilistic databases in which probabilities are asso...