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 21 to 30 of 35.
  1. Erica Melis; Claus Sengler

    Analogical Transfer of Verification Proofs for State-Based Specifications

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

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

  3. Christoph Georg Jung; Klaus Fischer; Susanne Schacht

    Distributed Cognitive Systems - Proceedings of the VKS'97 Workshop

    DFKI, DFKI Documents (D), Vol. 97-08, 1997.

  4. Harold Boley; Bernd Bachmann; Christian Blum; Christian Embacher; Anderas Lorenz; Jamel Zakraoui

    PIMaS: Ein objektorientiert-regelbasiertes System zur Produkt-Prozeß-Transformation

    DFKI, DFKI Documents (D), Vol. 97-07, 1997.

  5. Tilman Becker; Stephan Busemann; Wolfgang Finkler

    DFKI Workshop on Natural Language Generation

    DFKI, DFKI Documents (D), Vol. 97-06, 1997.

  6. Stephan Baumann; Majdi Ben Hadj Ali; Jürgen Lichter; Michael Malburg; Harald Meyer auf'm Hofe; Claudia Wenzel

    Anforderungen an ein System zur Dokumentanalyse im Unternehmenskontext --- Integration von Datenbeständen, Aufbau- und Ablauforganisation

    DFKI, DFKI Documents (D), Vol. 97-05, 1997.

  7. Andreas Abecker; Stefan Decker; Knut Hinkelmann; Ulrich Reimer

    Proceedings of the Workshop "Knowledge-Based Systems for Knowledge Management in Enterprises" 97

    DFKI, DFKI Documents (D), Vol. 97-03, 1997.

  8. Tilman Becker; Hans-Ulrich Krieger

    Proceedings of the Fifth Meeting on Mathematics of Language (MOL5)

    DFKI, DFKI Documents (D), Vol. 97-02, 1997.

  9. Thomas Malik

    NetGLTool Benutzeranleitung

    DFKI, DFKI Documents (D), Vol. 97-01, 1997.

  10. Günter Neumann; Rolf Backofen; Judith Baur; Markus Becker; Christian Braun

    An Information Extraction Core System for Real World German Text Processing

    In: Paul Jacobs (Hrsg.). Proceedings of the 5th Conference on Applied Natural Language Processing (ANLP '97), March 31 - April 3. Applied Natural …