Apache/2.4.38 (Debian) Server at people.mpi-inf.mpg.de Port 443Name Last modified Size Description
Parent Directory -
INFO.txt 2017-12-09 07:57 1.9K
ecir2010-nyt-qrels.csv.gz 2017-12-09 07:57 44K
ecir2010-nyt-tempex.csv.gz 2017-12-09 08:02 41M
ecir2010-satin.pdf 2017-12-09 08:02 247K
ecir2010-talk.pdf 2017-12-09 08:00 1.7M
ecir2010-wiki-qrels.csv.gz 2017-12-09 08:02 37K
ecir2010-wiki-tempex.csv.gz 2017-12-09 08:00 116M
mpi-i-2010-5-001.pdf 2017-12-09 08:02 1.3M