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 31 to 40 of 97.
  1. 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 …

  2. Christoph Endres; Lars Klein; Markus Meyer

    Implementierung und Erweiterung der Sprache ALCP

    DFKI, DFKI Documents (D), Vol. 95-03, 3/1995.

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

  4. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

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

  5. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic …

  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. 33rd Annual Meeting of the Association for Computational Linguistics (ACL-ANNUAL '95). Proceedings of the Conference

    Annual Meeting of the Association for Computational Linguistics (ACL), ACL, Cambridge, USA, 1995.

  9. 33rd Annual Meeting of the Association for Computational Linguistics (ACL-ANNUAL'95), June 26-30. Proceedings of the Conference

    Annual Meeting of the Association for Computational Linguistics (ACL), ACL, Cambridge, USA, 1995.