1547 search results - page 114 / 310 » The Isabelle Collections Framework |
KSEM
2007
Springer
14 years 4 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...
ICPPW
2006
IEEE
14 years 4 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...
SIGIR
2006
ACM
14 years 4 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...
ICAIL
2003
ACM
14 years 3 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...
MSR
2009
ACM
14 years 2 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...