Index of /~gadelrab/downloads/ILP2016_2/IMDB

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