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 102.
  1. Stefan Agne; Hans-Günther Hein

    A Pattern Matcher for OCR corrupted Documents and its Evaluation

    In: Daniel P. Lopresti; Jiangying Zhou (Hrsg.). Document Recognition V. DDR Document Recognition and Retrieval (DDR), San Jose, Pages 160-168, …

  2. Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Otto Kühn; Michael Sintek

    Toward a Technology for Organizational Memories

    In: IEEE Intelligent Systems, Vol. 13, No. 3, Pages 40-48, IEEE Computer Society, 5/1998.

  3. Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Otto Kühn; Michael Sintek

    Techniques for Organizational Memory Information Systems

    DFKI GmbH, DFKI Documents (D), Vol. 98-02, 2/1998.

  4. Integration of a DAU-System in Workflow Management Systems

    In: Proceedings of the GIGA European Business Process & Workflow Conference. GIGA European Business Process & Workflow Conference, Geneva, …

  5. Markus Junker; Rainer Hoch

    An Experimental Evaluation of OCR Text Representations for Learning Document Classifiers

    In: International Journal on Document Analysis and Recognition (IJDAR), Vol. 1, No. 2, Pages 116-122, 6/1998.

  6. Combining Artificial Intelligence, Database Technology, and Hypermedia for Intelligent Fault Recording

    In: ISOMA-98: Sixth International Symposium on Manufacturing with Applications. International Symposium on Manufacturing with Applications (ISOMA), …

  7. Axel Schairer

    A Technique for Reusing Proofs in Software Verification

    Mastersthesis, FB 14 (Informatik) der Universität des Saarlandes und Institut A für Mechanik der Universität Stuttgart, Saarbrücken/Stuttgar, 3/1998.

  8. Heiko Mantel; Christoph Kreitz

    A Matrix Characterization for MELL

    In: J. Dix; L. Farinas del Cerro; U. Furbach (Hrsg.). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in …

  9. Heiko Mantel

    Developing a Matrix Characterization for MELL

    DFKI, DFKI Research Reports (RR), Vol. 98-03, 9/1998.