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 91 to 100 of 105.
  1. ARC--TEC: Wissensbasierte Systeme zur Unterstützung des Fertigungsprozesses --- Ein gesamthafter Ansatz

    Vortrag vor der G.U.I.D.E. AG Knowledge Based Applications, Braunschweig, 1/1994.

  2. PIM - Planning in Manufacturing. Ein featurebasiertes Arbeitsplanungssystem

    In: Workshop Feature Technology in Design and Manufacturing. Workshop Feature Technology in Design and Manufacturing, August 29-30, Saarbrücken, …

  3. Andreas Dengel; Rainer Hoch; Hans-Günther Hein

    ALV: Lesende Systeme für die Unterstützung von Bürovorgängen

    In: Statusseminar des BMFT "Künstliche Intelligenz". Statusseminar des BMFT, April 27-28, Berlin, Germany, Pages 349-362, DLR, 4/1994.

  4. Künstliche Intelligenz

    Meyer's Forum, B.I.-Wissenschaftsverlag, F.A. Brockhaus, 1994.

  5. Andreas Dengel; Larry Spitz (Hrsg.)

    Proceedings of DAS'94

    IAPR International Workshop on Document Analysis Systems (DAS-94), October 18-20, Kaiserslautern, Germany, DFKI Documents (D), Vol. 94-13, …

  6. About the Logical Partitioning of Document Images

    In: Proceedings of SDAIR'94. Annual Symposium on Document Analysis and Information Retrieval (SDAIR-94), 3rd, April 11-13, Las Vegas, NV, USA, Pages …

  7. Andreas Dengel; Rainer Bleisinger; Rainer Hoch; Frank Hönes; Michael Malburg; Frank Fein

    OfficeMAID - A System for Automatic Mail Analysis, Interpretation and Delivery

    In: Proceedings of DAS'94. IAPR International Workshop on Document Analysis Systems (DAS-94), October 18-20, Kaiserslautern, Germany, Pages 253-276, …

  8. Wray Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

  9. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

    In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

  10. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …