Metrics for information retrieval: A case study | IET Conference Publication | IEEE Xplore