Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 97.
  1. Using Colored Terms Everywhere

    In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.

  2. Georg Rock

    Transformations of First-Order Formulae for Automated Reasoning

    em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.

  3. Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif

    The VSE development method - a way to engineer high-assurance software systems

    In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". GI/ITG-Fachgespräch (FBT), June 22-23, Kaiserlautern, Germany, 1995.

  4. Abdel Kader Diagne; Walter Kasper; Hans-Ulrich Krieger

    Distributed Parsing with HPSG Grammars

    DFKI, DFKI Research Reports (RR), Vol. 95-19, 1995.

  5. Thierry Declerck; Sibylle Rieder; Paul Schmidt; Axel Theofilidis

    Integration grammatischer Komponenten und Organisation des Lexikons in ALEP

    In: Deutschen Gesellschaft für Sprachwissenschaft (DGfS/CL 95). Fachtagung der Sektion Computerlinguistik der Deutschen Gesellschaft für Sprachwissenschaft (DGfS/CL), Düsseldorf, Germany, 1995.

  6. Richard Crouch; Robert Gaizauskas; Klaus Netter

    Report of the Study Group on Assessment and Evaluation

    Interim Report, DFKI, o.A. 1995.

  7. Stephan Busemann; Hans-Joachim Novak

    Generierung natürlicher Sprache

    In: Günther Görz (Hrsg.). Einführung in die Künstliche Intelligenz. Pages 492-540, Addison-Wesley, Bonn, 1995.

  8. Stephan Busemann

    Towards Classification of Generation Subtasks

    In: Wolfgang Hoeppner; Helmut Horacek (Hrsg.). Principles of Natural Language Generation. Papers from a Dagstuhl-Seminar. Dagstuhl Seminare/Workshops, Duisburg, Germany, Pages 25-32, Dagstuhl-Seminar-Report, No. SI-12, 1995.

  9. Johan Bos; Anne-Marie Mineur; Paul Buitelaar

    Bridging as Coercive Accomodation

    CLAUS-Report, Universität des Saarlandes, Vol. 52, 3/1995.