Skip to main content Skip to main navigation

Publikationen

 

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

Zeige Ergebnisse 21 bis 30 von 35
  1. Rolf Backofen; James Rogers; K. Vijay-Shanker

    A First-Order Axiomatization of the Theory of Finite Trees

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

  2. Joachim Niehren

    Functional Computation as Concurrent Computation

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

  3. Werner Stephan; Susanne Biundo

    Deduction-based Refinement Planning

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

  4. Walter Hower; Winfried Graf

    Research in Constraint-Based Layout, Visualization, CAD, and Related Topics: A Bibliographical Survey

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

  5. Anne Kilger; Wolfgang Finkler

    Incremental Generation for Real-Time Applications

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

  6. Gert Smolka

    The Oz Programming Model

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

  7. Martin Buchheit; F. M. Donini; Werner Nutt; A. Schaerf

    A Refined Architecture for Terminological Systems: Terminology = Schema + Views

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

  8. Designing the Dialogue Component in a Speech Translation System - a Corpus Based Approach

    In: Proceedings of the 9th Twente Workshop on Language Technology (Corpus Based Approaches to Dialogue Modelling). Twente Workshop on Language …

  9. Treatment of Incomplete Dialogs in a Speech-to-Speech Translation System

    In: Proceedings of the ESCA Research Workshop on Spoken Dialogue Systems. ESCA Research Workshop on Spoken Dialogue Systems (ESCA), Vigs\o, Denmark, …

  10. Plan Recognition in Verbmobil

    In: Proceedings of the IJCAI-95 Workshop "The Next Generation of Plan Recognition Systems: Challanges for an Insight from Related Areas of AI". …