Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
We have analyzed system rankings for person name search algorithms using a data set for which several versions of ground truth were developed by employing different means of resol...
We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
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...
This paper describes a knowledge-based methodologyof miningtextual answersinto large collections of texts. Wepresent SOMBRERO,a knowledge processing module implemented in the LASS...