Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 91 bis 100 von 105
  1. 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 …

  2. 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, …

  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. 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.

  7. 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, …

  8. 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: …

  9. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …

  10. Synthesizing Induction Orderings for Existence Proofs

    In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …