Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 41 bis 50 von 105
  1. Hans Uszkoreit; Rolf Backofen; Stephan Busemann; Abdel Kader Diagne; Elizabeth Hinkelman; Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Klaus Netter; Günter Neumann; Stephan Oepen; Stephen P. Spackman

    DISCO - An HPSG-Based NLP System and its Application for Appointment Scheduling

    In: Proceedings of the 15th International Conference on Computational Linguistics. International Conference on Computational Linguistics (COLING-94), …

  2. Hans Uszkoreit; Rolf Backofen; Stephan Busemann; Abdel Kader Diagne; Elizabeth Hinkelman; Walter Kasper; Bernd Kiefer; Hans-Ulrich Krieger; Klaus Netter; Günter Neumann; Stephan Oepen; Stephen P. Spackman

    DISCO - An HPSG-Based NLP System and its Application for Appointment Scheduling

    DFKI, DFKI Research Reports (RR), Vol. 94-38, 1994.

  3. Melanie Siegel; Dieter Metzing

    Nullpronomina und die Organisation von Wissensquellen für den Transfer Japanisch - Englisch

    Universität Bielefeld, Verbmobil Memo, Vol. 12, 1994.

  4. Melanie Siegel

    Definitheit und Numerus. Anforderungen an den Transfer Japanisch-Englisch

    Universität Bielefeld, Verbmobil-Memo, Vol. 56, 1994.

  5. Thomas Pechmann; Hans Uszkoreit; Johannes Engelkamp; Dieter Zerbst

    Word Order in the German Middle Field: Linguistic Theory and Psycholinguistic Evidence

    Universität des Saarlandes, CLAUS-Report, Vol. 43, 8/1994.

  6. Günter Neumann; Gertjan van Noord

    Reversibility and Self-Monitoring in Natural Language Generation

    In: Tomek Strzalkowski (Hrsg.). Reversible Grammar in Natural Language Processing. Pages 59-96, Kluwer Academic Publishers, Boston, 1994.

  7. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …

  8. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …

  9. Synthesizing Induction Orderings for Existence Proofs

    In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …

  10. Synthesizing Induction Orderings for Existence Proofs

    In: Alan Bundy (Hrsg.). Proceedings of the 12th International Conference on Automated Deduction. International Conference on Automated Deduction …