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 11 to 20 of 116.
  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. 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.

  4. Clarification Dialogues as Measure to Increase Robustness in a Spoken Dialogue System

    In: Proceedings of the ACL-97 Workshop "Interactive Spoken Dialog Systems: Bringing Speech and NLP Together in Real Applications". ACL/EACL Workshop …

  5. Insights into the Dialogue Processing of Verbmobil

    In: Proceedings of the Fifth Conference on Applied Natural Language Processing. Conference on Applied Natural Language Processing, March 31 - April 3, …

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

  7. Methoden zur intelligenten Informationsextraktion im Internet

    In: Proceedings of the 20th European Congress Fair for Technical Communication ONLINE'97. European Congress Fair for Technical Communication (ONLINE), …

  8. Applying Explanation-Based Learning to Control and Speeding-Up Natural Language Generation

    In: Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and the 8th Conference of the European Chapter of the …

  9. Klaus Netter; Dominique Estival; Alberto Lavelli; Fabio Pianesi (Hrsg.)

    Computational Environments for Grammar Development and Linguistic Engineering (ACL'97 - EACL'97 Workshop), July 7-12

    Conference of the European Chapter of the Association for Computational Linguistics (EACL), Madrid, Spain, 1997.