Skip to main content Skip to main navigation

Publications

Displaying results 71 to 80 of 97.
  1. Andreas Dengel; Frank Dubiel

    Clustering and Classification of Document Structure - A Machine Learning Approach

    In: Proceedings of the Third International Conference on Document Analysis and Recognition. International Conference on Document Analysis and …

  2. Ansgar Bernardi; Anna-Maria Schoeller

    Definition of the term FEATURE -- a proposal

    FEMEX Arbeitspapier, ZGDV Darmstadt. Anonymous ftp on ftp.igd.fhg.de, /femex/WG1/DEF_BernardiSchoeller.ps, 6/1995.

  3. Ansgar Bernardi; Anna-Maria Schoeller

    Anregungen zu FEMEX

    Internes Papier zur Gründung des FEMEX-Arbeitskreises, ZGDV Darmstadt, 1/1995.

  4. Rezension: Wolfgang Meyer: Expert Systems in Factory Management -- Knowledge-based CIM

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  5. Hans-Jürgen Bürckert; Bernhard Nebel

    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    In: Journal of the ACM (JACM), Vol. 42, No. 1, Pages 43-66, 1995.

  6. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

    Technical Report, Vol. SR-95-08, 1995.

  7. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic …

  8. Dieter Hutter; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated …

  9. Using Colored Terms Everywhere

    In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.

  10. Georg Rock

    Transformations of First-Order Formulae for Automated Reasoning

    em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.