Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 41 bis 50 von 97
  1. Thorsten Jäger; Frank Hönes; Andreas Dengel

    An Adaptive Metaclassifier for Word Recognition Based on Multiple Independent Classifiers

    In: Proceedings of the 4th Annual Symposium on Document Analysis and Information Retrieval. Annual Symposium on Document Analysis and Information …

  2. Lars Wiedenhöfer; Hans-Günther Hein; Andreas Dengel

    Post-Processing of OCR Results for Automatic Indexing

    In: Proceedings ICDAR'95. International Conference on Document Analysis and Recognition (ICDAR), Pages 592-596, 8/1995.

  3. Andreas Dengel; Rainer Bleisinger; Rainer Hoch; Frank Hönes; Michael Malburg; Frank Fein

    OfficeMAID - A System for Automatic Mail Analysis, Interpretation and Delivery

    In: L. Spitz; Andreas Dengel (Hrsg.). Document Analysis Systems. Pages 52-75, World Scientific Publishing Co. Inc. 6/1995.

  4. Andreas Dengel; B. B. Jean

    Report of the Possibilities for International Collaboration Working Group

    In: L. Spitz; Andreas Dengel (Hrsg.). Document Analysis Systems. Pages 445-449, World Scientific Publishing Co. Inc. 6/1995.

  5. Lawrence Spitz; Andreas Dengel

    Document Analysis Systems

    Series in Machine Perception and Artificial Intelligence, Vol. 14, World Scientific Publishing Co. Inc. 6/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.