Fuchs, Matthias

4 publications

CVPRW 2008 Variational Shape Detection in Microscope Images Based on Joint Shape and Image Feature Statistics Matthias Fuchs, Samuel Gerber

AAAI 1998 A Feature-Based Learning Method for Theorem Proving Matthias Fuchs

IJCAI 1997 High Performance ATP Systems by Combining Several AI Methods Jörg Denzinger, Marc Fuchs, Matthias Fuchs

ICML 1995 Learning Proof Heuristics by Adaptive Parameters Matthias Fuchs