1547 search results - page 114 / 310 » The Isabelle Collections Framework |
132
Voted
KSEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. It has been widely recognized that the relative priority of requirements can help developers to resolve inconsistencies and make some necessary trade-off decisions. Howe...
141
click to vote
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Many recent research efforts have been devoted to the use of commodity hardware for solving computationallyintensive scientific problems. Among such problems, hyperspectral imagi...
119
click to vote
SIGIR
2006
ACM
15 years 10 months ago
2006
ACM
We introduce and validate bootstrap techniques to compute confidence intervals that quantify the effect of test-collection variability on average precision (AP) and mean average...
117
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
Name matching—recognizing when two different strings are likely to denote the same entity—is an important task in many legal information systems, such as case-management syste...
146
click to vote
MSR
2009
ACM
15 years 8 months ago
2009
ACM
Software repositories provide abundance of valuable information about open source projects. With the increase in the size of the data maintained by the repositories, automated ext...