Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1995
Remove all filters
Displaying results 71 to 80 of 97.

  1. Melanie Siegel

    Problems of Automatic Translation of Japanese Dialogues into German

    In: W. von Hahn; S. Jekat; I. Maleck (Hrsg.). Machine Translation and Machine Interpretation. Proceedings of the VERBMOBIL Workshop at the University of Hamburg, October. VERMOBIL Workshops, Hamburg, Germany, Computer Science Department, University Hamburg, 1995.

  2. Ulrich Schäfer

    Parameterized Type Expansion in the Feature Structure Formalism TDL

    Mastersthesis, Universität des Saarlandes, 1995.

  3. Anne-Marie Mineur; Paul Buitelaar

    A Compositional Treatment of Polysemous Arguments in Categorial Grammar

    CLAUS-Report, Universität des Saarlandes, Vol. 49, 1/1995.

  4. Anne-Marie Mineur; Paul Buitelaar

    A Compositional Treatment of Polysemous Arguments in Categorial Grammar

    In: Kees van Deemter; Stanley Peters (Hrsg.). Semantic Ambiguity and Underspecification. CSLI Publications, Stanford, 1995.

  5. Hans-Ulrich Krieger; Ulrich Schäfer

    Efficient Parameterizable Type Expansion for Typed Feature Formalisms

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

  6. Hans-Ulrich Krieger; Ulrich Schäfer

    Efficient Parameterizable Type Expansion for Typed Feature Formalisms

    In: 14th International Joint Conference on Artificial Intelligence (IJCAI '95), August 20-25. International Joint Conference on Artificial Intelligence (IJCAI), Montréal, Québec, Canada, Pages 1428-1434, Morgan Kaufmann Publishers, 1995.

  7. Stephan Oepen; Klaus Netter

    TSNLP - Test Suites for Natural Language Processing

    In: Proceedings of the Conference on Linguistic Databases, March 23-24. Conference on Linguistic Databases, Groningen, The Netherlands, 1995.

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

  9. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

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

  10. 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 Systems. Dagstuhl Seminare/Workshops, February 27 - March 3, Schloß Dagstuhl, Germany, 1995.

Year