Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 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. Axel Schairer

    Using Standard Tools to Create Lexers and Parsers for textscCasl

    CoFI Tools Note T-7, 4/1999.

  8. Intelligent Agents and Electronic Commerce

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

  9. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International …

  10. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction …