Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 97.
  1. Mit Spitzenforschungs auf Erfolgskurs

    UNI-Spectrum No. 6/95, 10/1995.

  2. Andreas Dengel; Frank Dubiel; I. John

    Learning Discriminating Features for Document Understanding

    Research Report , DFKI GmbH, DFKI Research Reports (RR), Vol. 95-17, 5/1995.

  3. 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 Retrieval (SDAIR-95), April 24-26, Las Vegas, NV, USA, Pages 399-411, 1995.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

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

  9. 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 Systems. Dagstuhl Seminare/Workshops, February 27 - March 3, Schloß Dagstuhl, Germany, 1995.

  10. 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 Reasoning: Bridging the gap between theory and practice, Sheffield, Pages 43-44, 1995.