Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 101
  1. Thomas Kieninger; Bernd Strieder

    T-Recs Table Recognition and Validation Approach

    In: AAAI Press, North Fallmouth, MA, 11/1999.

  2. Thomas Kieninger; Andreas Dengel

    The T-RecS approach for table structure recognition and table border determination

    In: Document Layout Interpretation and its Applications (DLIA99). Document Layout Interpretation and its Applications (DLIA), 1999.

  3. On the Evaluation of Document Analysis Components by Recall, Precision, and Accuracy

    In: Proceedings of the 5th International Conference on Document Analysis and Recognition. International Conference on Document Analysis and …

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

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

  6. Dennis Dams; Dieter Hutter; Natalia Sidorova

    Using the INKA prover to automate safety proofs in abstract interpretation - A case study

    In: Françoise Bellegarde; Olga Kouchnarenko (Hrsg.). Workshop on Modelling and Verification, C.I.S. Workshop on Modelling and Verification, Besançon, …

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

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

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

  10. Künstliche Intelligenz

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