Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 101.
  1. 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.

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

  3. 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, …

  4. Petra Funk; Gero Vierke; Hans-Jürgen Bürckert

    Distributed Intermodal Transportation Planning

    In: Proceedings des Workshops Agententechnologie - Multiagentensysteme in der Informationslogistik und wirtschaftlcihe Perspektiven der …

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

  6. Axel Schairer

    Using Standard Tools to Create Lexers and Parsers for textscCasl

    CoFI Tools Note T-7, 4/1999.

  7. Intelligent Agents and Electronic Commerce

    In: Proceedings of International Symposium IMPACT-99. International Symposium on The Impact of Agent Technology on Telecommunication (IMPACT-99), …

  8. Annotated Reasoning

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

  9. Workshop on Automation of Proofs by Mathematical Induction

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

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