Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 26.
  1. Hans-Jürgen Bürckert; A. Herold; M. Schmidt-Schauß

    On Equational Theories, Unification, and (Un)decidability

    In: Journal of Symbolic Computation, Vol. 8, Special Issue on Unification, Pages 3-49, Elsevier, 1989.

  2. Hans-Jürgen Bürckert; A. Herold; D. Kapur; Jörg Siekmann; M.E. Stickel; M. Tepp; H. Zhang

    Opening the AC-Unification Race

    In: Journal of Automated Reasoning (JAR), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.

  3. Complete Induction

    In: Karl-Hans Bläsius; Hans-Jürgen Bürckert (Hrsg.). Deduction Systems in Artificial Intelligence. Ellis Horwood Series in Artificial Intelligence, ISBN 9780745804095, Ellis Horwood, 1989.

  4. Walter Kasper

    Situationen und Einstellungen

    In: G. Falkenberg (Hrsg.). Wissen, Wahrnehmen, Glauben. Epistemische Ausdrücke und propositionale Einstellungen. Pages 97-121, Niemeyer, Tübingen, 1989.

  5. DFKI - Möglichkeiten und Chancen

    UNI-Spectrum No. 6/89, Universität Kaiserslautern , Pages 5-7, 10/1989.

  6. A Cut-based Procedure for Document-Layout Modelling and Automatic Document Analysis

    In: Proceedings of the SPIE/IEEE Applications of Artificial Intelligence VII. IEEE - Applications of Artificial Intelligence, VII, March 28-30, Orlando, FL, USA, Pages 1126-1133, Vol. 7, No. 1-2, SPIE, 1989.

  7. Automatic Visual Classification of Printed Documents

    In: Proceedings of the MIV-89. International Workshop on Industrial Applications of Machine Intelligence and Vision (MIV-89), April 10-12, Tokyo, Japan, Pages 276-281, IEEE, 1989.

  8. Andreas Dengel; G. Barth

    ANASTASIL: Hybrid Knowledge-based System for Document Image Analysis

    In: N.S. Sridharan (Hrsg.). Proceedings IJCAI-89. International Joint Conference on Artificial Intelligence (IJCAI-89), 11th, August 20-25, Detroit, MI, USA, Pages 1249-1254, Vol. 2, ISBN 1-55860-094-9, Morgan Kaufmann, 8/1989.

  9. Andreas Dengel; E. Schweizer

    Rotationswinkelbestimmung in abgetasteten Dokumentbildern

    In: H. Burckard; H. Höhne; B. Neumann (Hrsg.). Mustererkennung 1989 - Proceedings 11. DAGM-Symposium. Annual Symposium of the German Association for Pattern Recognition (DAGM-1989), 11th, October 2-4, Hamburg, Germany, Pages 274-278, Informatik Fachbericht, Vol. 219, ISBN 3-540-51748-0, Springer, 10/1989.

  10. Automatische Visuelle Klassifikation von Dokumenten

    PhD-Thesis, Fakultät Informatik, Universität Stuttgart, 2/1989.