Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 11 bis 20 von 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. Christian Gerber

    Scalability of Multi-Agent Systems - Proposal for a Dissertation

    DFKI, DFKI Technical Memos (TM), Vol. 97-02, 1997.

  5. Markus Perling

    GeneTS: A Relational-Functional Genetic Algorithm for the Traveling Salesman Problem

    DFKI, DFKI Technical Memos (TM), Vol. 97-01, 1997.

  6. Reinhard Karger; A. Klüter; J. Schwinn; Wolfgang Wahlster

    Verbmobil Teilprojekt 16 - Software Integration und Projektmanagement

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

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

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

  9. Thierry Declerck; Judith Klein

    Ein Email-Korpus zur Entwicklung und Evaluierung der Analysekomponente eines Terminvereinbarungssystems

    In: 6. Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft: Integrative Ansätze in der Computerlinguistik. …

  10. Thierry Declerck

    Investigation on the Reusability of LFG-Based Grammar Resource

    In: Proceedings of the 2nd Annual Lexical-Functional Grammar Conference. International Lexical Functional Grammar Conference (LFG), San Diego, USA, …