Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 1998
Remove all filters
Displaying results 91 to 100 of 102.

  1. K. Kise; M. Iwata; Andreas Dengel; K. Matsumoto

    A Computational Geometric Approach to Text-Line Extraction from Binary Document Images

    In: Proceedings DAS98. IAPR International Workshop on Document Analysis Systems (DAS), Pages 346-355, 11/1998.

  2. Thomas Kieninger; Andreas Dengel

    A Paper-to-HTML Table Converting System

    In: Proceedings DAS98. IAPR International Workshop on Document Analysis Systems (DAS), Pages 356-365, 11/1998.

  3. Andreas Dengel

    Brockhaus: Die Enzyklopädie (verschiedene Beiträge)

    In: Bibliographisches Institut der F.A. Brockhaus AG (Hrsg.). Brockhaus: Die Enzyklopädie. Bibliographisches Institut der F.A. Brockhaus AG, Leipzig; …

  4. Frank Dubiel; Andreas Dengel

    FormClas - OCR-Free Classification of Forms

    In: Jonathan J. Hull; S. Liebowitz (Hrsg.). Document Analysis Systems II. Pages 189-208, Series in Machine Perception and Artificial Intelligence, …

  5. D. Y. Lee; Andreas Dengel

    Document Analysis and Learning

    In: J.J. Hull; S. Liebowitz (Hrsg.). Document Analysis Systems II. Pages 509-511, World Scientific Publishing Co. Inc. 1998.

  6. Dieter Hutter

    Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …

  7. Dieter Hutter

    Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …

  8. Dieter Hutter

    Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.

  9. Erica Melis; Axel Schairer

    Similarities and Reuse of Proofs in Formal Software Verification

    In: Barry Smyth; Pàdraig Cunningham (Hrsg.). Advances in Case-Based Reasoning, Proceedinges of the Fourth European Workshop on Case Based Reasoning …

  10. Andreas Nonnengart; Georg Rock; Christoph Weidenbach

    On Generating Small Clause Normal Forms

    In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE), Pages …

Year