Index of /~gadelrab/downloads/ILP2016_2/IMDB

Icon  Name                            Last modified      Size  Description
[PARENTDIR] Parent Directory - [   ] extension.naive.neg 2016-11-24 16:37 2.9M [   ] extension.opm.neg 2016-11-24 16:37 2.9M [TXT] extension.pm.neg 2016-11-24 16:37 2.9M [   ] extension.pos 2016-11-24 16:37 2.9M [TXT] ideal.data.txt 2016-11-24 16:37 29M [TXT] patterns.txt 2016-11-24 16:37 10K [   ] revised-rules.naive 2016-11-24 16:37 98K [   ] revised-rules.opm 2016-11-24 16:37 99K [TXT] revised-rules.pm 2016-11-24 16:37 100K [TXT] selected.patterns.txt 2016-11-24 16:37 174 [TXT] training.data.txt 2016-11-24 16:37 25M
Apache/2.4.25 (Debian) Server at people.mpi-inf.mpg.de Port 80