Skip to main content Skip to main navigation

Publications

Displaying results 51 to 60 of 97.
  1. Hans-Ulrich Krieger

    Classification and Representation of Types in TDL

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

  2. Hans-Ulrich Krieger

    Classification and Representation of Types in TDL

    In: Proceedings of the International KRUSE Symposium, Knowledge Retrieval, Use, and Storage for Efficiency, August 11-13. International KRUSE Symposium, University of California, Santa Cruz, USA, Pages 74-85, 1995.

  3. Bernd Kiefer; Thomas Fettig

    FEGRAMED - An Interactive Graphics Editor for Feature Structures

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

  4. Walter Kasper; Hans-Ulrich Krieger; Abdel Kader Diagne

    Distributed Parsing with HPSG Grammars

    In: Proceedings of the 4th International Workshop on Parsing Technologies. International Conference on Parsing Technologies (IWPT-95), September 20-24, Prague and Karlovy Vary, Czech Republic, Pages 79-86, 1995.

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

  6. Ulrich Schäfer

    Parameterized Type Expansion in the Feature Structure Formalism TDL

    Mastersthesis, Universität des Saarlandes, 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.