Bericht (9)
521.
Bericht
Symmetry Detection in Large Scale City Scans. (2012), 32 S.
522.
Bericht
MDL4BMF: Minimum Description Length for Boolean Matrix Factorization. Max-Planck-Institut für Informatik, Saarbrücken (2012), 48 S.
523.
Bericht
Labelled Superposition for PLTL. Max-Planck-Institut für Informatik, Saarbrücken (2012), 42 S.