Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 1993
Alle Filter entfernen
Zeige Ergebnisse 51 bis 60 von 128

  1. Hans Uszkoreit

    Towards Performance Models for Declarative Grammar Formalisms

    CLAUS-Report, Universität des Saarlandes, Vol. 29, 1993.

  2. David Traum; Elizabeth Hinkelman

    Conversation Acts in Task-Oriented Spoken Dialogue

    Research Report, DFKI, Vol. RR-93-32, 1993.

  3. Melanie Siegel; Dieter Metzing

    Rekonstruktion von Verfahren der Textproduktion

    In: Gert Rickheit (Hrsg.). Modellierung von Sprachverarbeitung in Texten und Diskursen. Westdeutscher Verlag, Opladen, 1993.

  4. Melanie Siegel; Dieter Metzing

    Dialogdolmetschen. Eine Pilotstudie zu aufgabenorientierten Dialogen (Terminabsprachen) Japanisch-Deutsch

    Arbeitsberichte Computerlinguistik, Universität Bielefeld, Vol. 2-93, 1993.

  5. Melanie Siegel; Hideko Kuroda; Eri Kudo

    Dialogdaten: Terminplanung japanisch-deutsch

    Arbeitsberichte Computerlinguistik, Universität Bielefeld, Vol. 2-93, 1993.

  6. Jürgen Cleve; Dieter Hutter

    Guiding equational proofs by attribute functions

    Interner Bericht, 1993.

  7. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment. Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien

    In: Proceedings of the 3. GI-Fachtagung Verläßliche Informationssysteme Vis'93. GI-Fachtagungen, 3. May 11-13, München, Germany, DuD-Fachbeiträge, …

  8. Markus Ullmann; M. Hauff; Peter Loevenich; Peter Baur; Peter Göhner; Peter Kejwal; Wolfgang Reif; Werner Stephan; Dieter Hutter; Claus Sengler; Jürgen Cleve

    VSE Verification Support Environment

    In: Proceedings Online 93. European Congress Fair for Technical Communication (ONLINE-93), Hamburg, Germany, 1993.

  9. Franz Baader; Hans-Jürgen Bürckert; Bernhard Nebel; Werner Nutt; Gert Smolka

    On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations

    In: Journal of Logic, Language and Information, Vol. 2, No. 1, Pages 1-18, Springer, Netherlands, 3/1993.

  10. Martin Buchheit; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt

    The Knowledge Representation System Specification: Ein Ansatz zur Standardisierung terminologischer Wissensrepräsentationsformalismen

    In: A. B. Cremers; G. Lakemeyer (Hrsg.). Proceedings of AKI-Workshop "Wissensrepräsentation". AKI-Workshop Wissensrepräsentation, Bonn, Germany, 1993.

Jahr