Skip to main content Skip to main navigation

Publications

Displaying results 7 to 10 of 10.
  1. Modellgestützte Segmentierung und Hypothesengenerierung für die Analyse von Papierdokumenten

    In: Mustererkennung 1988 - Proceedings 10. DAGM-Symposium. Annual Symposium of the German Association for Pattern Recognition (DAGM-1988), September …

  2. Hans-Jürgen Bürckert

    Solving Disequations in Equational Theories

    In: E. L. Lusk; R. Overbeek (Hrsg.). Proceedings of 9th International Conference on Automated Deduction. International Conference on Automated …

  3. Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang

    Opening the AC-Unification Race

    Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.

  4. Andreas Dengel; G. Barth

    High Level Document Analysis Guided by Geometric Aspects

    In: International Journal on Pattern Recognition and Artificial Intelligence (IJPRAI), Vol. 2, No. 4, Pages 641-656, World Scientific Publishing, …