Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 61 to 70 of 97.
  1. 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 …

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

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

  4. A robust and Efficient Threelayered Dialog Component for a Speech-to-Speech Translation System

    In: Proceedings of the 7th Conference of the European Chapter of the ACL. Conference of the European Chapter of the Association for Computational …

  5. Hans-Jürgen Bürckert; Bernhard Nebel

    Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    In: Journal of the ACM (JACM), Vol. 42, No. 1, Pages 43-66, 1995.

  6. Dieter Hutter; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated …

  7. Using Colored Terms Everywhere

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

  8. Georg Rock

    Transformations of First-Order Formulae for Automated Reasoning

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

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

  10. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

    Technical Report, Vol. SR-95-08, 1995.