Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 97
  1. 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 …

  2. Bernd Kiefer; Thomas Fettig

    FEGRAMED - An Interactive Graphics Editor for Feature Structures

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

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

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

  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 …

  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. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

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

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

  10. 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 …