Skip to main content Skip to main navigation

Publications

Displaying results 51 to 60 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. Christian Gerber

    Scalability of Multi-Agent Systems - Proposal for a Dissertation

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

  4. Markus Perling

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

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

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

  6. Berthold Crysmann

    The Conspiracy of Quantification and Linear Precedence in European Portuguese Proclisis

    In: J. Austin; A. Lawson (Hrsg.). Eastern States Conference on Linguistics (ESCOL '97), November 21-23. Eastern States Conference on Linguistics …

  7. Berthold Crysmann

    Cliticization in European Portuguese Using Parallel Morpho-Syntactic Constraints

    In: Miriam Butt; Tracy Holloway King (Hrsg.). Lexical Functional Grammar Conference (LFG'97), June 19-21. International Lexical Functional Grammar …

  8. Ronald A. Cole; Joseph Mariani; Hans Uszkoreit; Giovanni Varile; Annie Zaenen; Victor Zue; Antonio Zampolli (Hrsg.)

    Survey of the State of the Art in Human Language Technology

    Cambridge University Press and Giardini, Cambridge, 1997.

  9. Generating Air-Quality Reports from Environmental Data

    In: Tilman Becker; Stephan Busemann; Wolfgang Finkler (Hrsg.). DFKI Workshop on Natural Language Generation. DFKI Workshops, Saarbrücken, Germany, …