Skip to main content Skip to main navigation

Publications

 

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

Displaying results 51 to 60 of 80.
  1. Frank Dubiel; Andreas Dengel

    FormClas - OCR-Free Classification of Forms

    In: Proceedings of the International Association for Pattern Recognition Workshop. International Conference on Pattern Recognition (ICPR-96), located …

  2. Andreas Dengel; Frank Dubiel

    Concept Formation from a Set of Uncertain Objects

    In: Proceedings of the IX. International Symposium on Artificial Intelligence. International Symposium on Artificial Intelligence (ISAI-96), Cancún, …

  3. Andreas Dengel; Knut Hinkelmann

    The SPECIALIST BOARD - A Technology Workbench for Document Analysis and Understanding

    In: M. M. Tanik; F. Bastani; D. Gibson; P. Fielding (Hrsg.). Proceedings of the 2nd World Conference on Integrated Design and Process Technology. …

  4. Andreas Dengel; Thomas Kieninger; N. Kuhn

    PASCAL 2000 - Ein prototypisches Projekt zur Integration blinder Menschen in die Büroarbeit

    In: E. Zwierlein (Hrsg.). Handbuch: Integration und Ausgrenzung. Pages 563-573, Luchterland-Verlag, 6/1996.

  5. Andreas Dengel; Frank Dubiel

    Computer Understanding of Document Structure

    In: International Journal of Imaging Systems and Technology (IJIST), Vol. 7, No. 4, Pages 271-278, 1996.

  6. Heiko Mantel

    Eine Matrixcharakterisierung für ein Fragment der linearen Logik

    Mastersthesis, TH-Darmstadt, Germany, 12/1996.

  7. Susanne Biundo; Werner Stephan

    Modelling Planning Domains Systematically

    In: Wolfgang Wahlster (Hrsg.). Proceedings of the 12th European Conference on Artificial Intelligence 96. European Conference on Artificial …

  8. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Deduction in the Verification Support Environment (VSE)

    In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe: Industrial Benefit and Advances in …

  9. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.

  10. Dieter Hutter; David McAllister; Christoph Walther

    Workshop on Automation of Proofs by Mathematical Induction

    13th Conference on Automated Deduction, New Brunswick, USA, 1996.