Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 91 to 100 of 101.
  1. Hans-Jürgen Bürckert; Petra Funk; Gero Vierke

    An Intercompany Dispatch Support System for Intermodal Transport Chains

    DFKI, DFKI Technical Memos (TM), Vol. 99-02, 1999.

  2. Michael Thulke; Volker Märgner; Andreas Dengel

    Quality Evaluation of Document Segmentation Results, Precision, and Accuracy

    In: Proceedings ICDAR99. International Conference on Document Analysis and Recognition (ICDAR), Pages 450-454, 9/1999.

  3. Künstliche Intelligenz

    In: Brockhaus-Bibliothek “Mensch, Natur, Technik”. Chapter 2, Pages 507-541, Vol. 6, Bibliographisches Institut der F.A. Brockhaus AG, 1999.

  4. Michael Thulke; Volker Margner; Andreas Dengel

    A General Approach to Quality Evaluation of Document Segmentation

    In: S.-W- Lee; Y. Nakano (Hrsg.). Document Analysis Systems: Theory and Practice, Lecture Notes in Computer Science. Springer Verlag, 1999.

  5. Koichi Kise; Motoi Iwata; Andreas Dengel; Keinosuke Matsumoto

    Text-Line Extraction as Selection of Paths in the Neighbor Graph

    In: S.-W- Lee; Y. Nakano (Hrsg.). Document Analysis Systems: Theory and Practice, Lecture Notes in Computer Science. Springer Verlag, 1999.

  6. Thomas Kieninger; Andreas Dengel

    A Paper-to-HTML Table Recognition and Analysis System

    In: S.-W- Lee; Y. Nakano (Hrsg.). Document Analysis Systems: Theory and Practice, Lecture Notes in Computer Science. Pages 255-269, Springer Verlag, …

  7. Annotated Reasoning

    In: B. Gramlich; H. Kirchner; F. Pfenning (Hrsg.). Proceedings CADE-16 Workshop on Strategies in Automated Deduction. International Conference on …

  8. Workshop on Automation of Proofs by Mathematical Induction

    Workshop-proceedings, 16th International Conference on Automated Deduction, Trento, Italy, 1999.

  9. Georg Rock; Werner Stephan; Andreas Wolpers

    Modular Reasoning about Structured TLA Specifications

    In: R. Berghammer; Y. Lakhnech (Hrsg.). Tool Support for System Specification, Development and Verification. International Workshop Tool Support for …

  10. Georg Rock; Werner Stephan; Andreas Wolpers

    Modeling Dynamic Processes in TLA

    In: Katharina Spies; Bernhard Schätz (Hrsg.). Formale Beschreibungstechniken für verteilte Systeme. GI/ITG-Fachgespräch (FBT-99), München, Germany, …