Skip to main content Skip to main navigation

Publications

Displaying results 11 to 20 of 116.
  1. Gert Smolka; Martin Henz; Michael Mehl; Ralf Scheidhauer; Christian Schulte; Ralf Treinen; Jörg Würtz

    Hydra - Hybride Werkbank zur Konstruktion von deduktiven Problemlösern in wissensbasierten Systemen: Berechnung und Deduktion mit Constraints

    DFKI GmbH, DFKI Final Reports (FR), Vol. 97-02, 1997.

  2. Harald Meyer auf'm Hofe

    Finding Regions of Local Repair in Hierarchical Constraint Satisfaction

    DFKI, DFKI Research Reports (RR), Vol. 97-05, 1997.

  3. Stephan Busemann; Thierry Declerck; Abdel Kader Diagne; Luca Dini; Judith Klein; Sven Schmeier

    Natural Language Dialogue Service for Appointment Scheduling Agents

    DFKI, DFKI Research Reports (RR), Vol. 97-02, 1997.

  4. Erica Melis; Claus Sengler

    Analogical Transfer of Verification Proofs for State-Based Specifications

    DFKI, DFKI Research Reports (RR), Vol. 97-01, 1/1997.

  5. Harold Boley; Andreas Abecker; Knut Hinkelmann; Otto Kühn; Manfred Meyer; Harald Meyer auf'm Hofe; Franz Schmalhofer; Holger Wache

    VEGA Knowledge Validation and Exploration by Global Analysis

    DFKI GmbH, DFKI Final Reports (FR), Vol. 97-01, 1997.

  6. Towards a computational semantics of path relations

    In: Proceedings of the 14th National Conference on Artificial Intelligence, Workshop on Language and Space. AAAI Conference on Artificial Intelligence (AAAI-1997), 14th, July 27-31, Providence, Rhode Island, USA, Citeseer, 1997.

  7. Andreas Dengel; H. Meyer

    The Specialist Board - Ansätze zur Verarbeitung multimedialer Information

    In: IPK-Workshop Bildauswertung für Handel, Banken und Behörden. IPK-Workshops, 2/1997.

  8. Andreas Dengel; Rainer Hoch; Frank Hönes; Michael Malburg; Achim Weigel

    Techniques for Improving OCR Results

    In: P. S. P. Wang; H. Bunke (Hrsg.). Handbook on Character Recognition and Document Image Analysis. Pages 227-258, World Scientific Publ. Comp. 1997.

  9. Die Rolle von Papierdokumenten und deren Verarbeitung im Informationszeitalter

    In: Andreas Dengel; H. Schröter (Hrsg.). Modernisierung der Arbeit - Rahmen für Technik, Organisation und Kompetenz. Pages 140-162, Talheimer Verlag, 10/1997.