Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 101.
  1. Stefan Müller

    Deutsche Syntax deklarativ. Head-Driven Phrase Structure Grammar für das Deutsche

    Linguistische Arbeiten, Vol. 394, Max Niemeyer Verlag, Tübingen, 1999.

  2. Klaus Netter; Tillmann Wegst

    Project Update: DiET - Diagnostic and Evaluation Tools for Natural Language Application

    ELSNews, European Network in Language and Speech, o.A. Vol. 8.2, 1999.

  3. Mark-Jan Nederhof; Eberhard Bertsch

    An Innovative Finite State Concept for Recognition and Parsing of Context-Free Languages

    In: A. Kornai (Hrsg.). Extended Finite State Models of Language. Pages 226-243, Cambridge University Press, Stanford, 1999.

  4. Mark-Jan Nederhof

    Models of Tabulation for TAG Parsing

    In: Proceedings of the 6th Meeting on Mathematics of Language (MOL6), July 23-25. Meeting on Mathematics of Language (MOL), Orlando, Florida, USA, Pages 143-158, 1999.

  5. Mark-Jan Nederhof

    Efficient Generation of Random Sentences

    In: An Encyclopedia of Computer Science and Technology. Pages 45-65, Vol. 41, Marcel Dekker Verlag, 1999.

  6. Melanie Siegel

    The Syntactic Processing of Participles in Japanese Spoken Language

    In: Jhing-Fa Wang; Chung-Hsien Wu (Hrsg.). Proceedings of the 13th Pacific Asia Conference on Language, Information and Computation (PACLIC 13), February 10-12. Pacific Asia Conference on Language, Information and Computation (PACLIC), Taipei, Taiwan, 1999.

  7. Steffen Staab; Christian Braun; Ilvio Bruder; Antje Düsterhöft; Andreas Heuer; Meike Klettke; Günter Neumann; Bernd Prager; Jan Pretzel; Hans-Peter Schnurr; Rudi Studer; Hans Uszkoreit; Burkhard Wrenger

    A System for Facilitating and Enhancing Web Search

    In: 5th International Work-Conference on Artificial and Natural Neural Networks (IWANN '99), June 2-4. International Work-Conference on Artificial Neural Networks (IWANN), Alicante, Spain, Springer, 1999.

  8. Mark-Jan Nederhof

    The Computational Complexity of the Correct-Prefix Property for TAGs

    In: Computational Linguistics (CL), Vol. 25, No. 3, Pages 345-360, 1999.

  9. Heiko Mantel; Jens Otten

    linTAP: A Tableau Prover for Linear Logic

    In: Neil V.Murray (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods, International Conference (TABLEAUX'99). International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Saratoga Springs, Pages 217-231, LNAI 1617, Springer, 6/1999.

  10. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    System Description: INKA 5.0 - A Logical Voyager

    In: H.Ganzinger (Hrsg.). Proceedings 16th International Conference on Automated Deduction, CADE-16. International Conference on Automated Deduction (CADE), Trento, Springer-Verlag, LNAI 1632, 1999.