Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 31 bis 40 von 101
  1. Eberhard Bertsch; Mark-Jan Nederhof

    On Failure of the Pruning Technique in "Error Repair in Shift-Reduce Parsers"

    In: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 21, No. 1, Pages 1-10, 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. 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 …

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

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

  10. Dieter Hutter; Alan Bundy

    The Design of the CADE-16 Inductive Theorem Prover Contest

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