Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/a.gif){kind=icon}
SIGIR95.ps 1995-04-04 02:00 128K
SenseIR.DAIR95.ps 1995-01-31 01:00 152K
![[DIR]](/icons/folder.gif){kind=icon}
genre/ 2019-02-16 00:24 -
papers/ 2019-02-16 00:25 -
![[TXT]](/icons/text.gif){kind=icon}
pos.html 1996-04-19 02:00 3.8K
schuetze.html 2000-05-23 02:00 1.0K
schuetze/ 2000-05-23 02:00 -