3799 search results - page 670 / 760 » An Engineering Approach to Formal Methods |
152
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Many architecture–based software reliability models were proposed in the past. Regardless of the accuracy of these models, if a considerable uncertainty exists in the estimates ...
143
click to vote
SIGIR
2003
ACM
15 years 9 months ago
2003
ACM
The empirical investigation of the effectiveness of information retrieval (IR) systems requires a test collection, a set of query topics, and a set of relevance judgments made by ...
146
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Ranking search results is a fundamental problem in information retrieval. In this paper we explore whether the use of proximity and phrase information can improve web retrieval ac...
137
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Interleaving experiments are an attractive methodology for evaluating retrieval functions through implicit feedback. Designed as a blind and unbiased test for eliciting a preferen...
133
click to vote
APWEB
2006
Springer
15 years 8 months ago
2006
Springer
Rapid increase in the number of pages on web sites, and widespread use of search engine optimization techniques, lead to web sites becoming difficult to navigate. Traditional site ...