Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 102.
  1. Mark-Jan Nederhof

    Linear Indexed Automata and Tabulation of TAG Parsing

    In: Premières Journées sur la Tabulation en Analyse Syntaxique et Déduction/ 1st Workshop on Tabulation in Parsing and Deduction (TAPD '98), April 2-3. Workshop on Tabulation in Parsing and Deduction (TAPD), Paris, France, Pages 1-9, 1998.

  2. Melanie Siegel

    Japanese Particles in an HPSG Grammar

    Verbmobil Report, Universität des Saarlandes, Vol. 220, 1998.

  3. Stephan Oepen; Klaus Netter; Judith Klein

    TSNLP - Test Suites for Natural Language Processing

    In: John Nerbonne (Hrsg.). Linguistic Databases. Pages 13-36, CSLI Lecture Notes, Vol. 77, CSLI Publications, Stanford, 1998.

  4. W. G. ter Stal; J.-H. Beijert; G. de Bruin; J. van Gent; Franciska de Jong; W. Kraaij; Klaus Netter; G. Smart

    Twenty-One: Cross-Language Disclosure and Retrieval of Multimedia Documents on Sustainable Development

    In: Computer Networks and ISDN Systems, Vol. 30, No. 13, Pages 1237-1248, 1998.

  5. Mark-Jan Nederhof

    Context-Free Parsing Through Regular Approximation

    In: 1st International Workshop on Finite State Methods in Natural Language Processing (FSMNLP '98), June 29 - July 1. International Workshop on Finite State Methods in Natural Language Processing (FSMNLP), Bilkent University, Ankara, Turkey, Pages 13-24, 1998.

  6. Mark-Jan Nederhof

    An Alternative LR Algorithm for TAGs

    In: 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association for Computational Linguistics (COLING-ACL '98), August 10-14. International Conference on Computational Linguistics (COLING), Montréal, QC, Canada, Pages 946-952, Vol. 2, Morgan Kaufmann Publishers, 1998.

  7. Axel Schairer

    A Technique for Reusing Proofs in Software Verification

    Mastersthesis, FB 14 (Informatik) der Universität des Saarlandes und Institut A für Mechanik der Universität Stuttgart, Saarbrücken/Stuttgar, 3/1998.

  8. Heiko Mantel; Christoph Kreitz

    A Matrix Characterization for MELL

    In: J. Dix; L. Farinas del Cerro; U. Furbach (Hrsg.). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in Artificial Intelligence, European Workshop (JELIA), Dagstuhl, Pages 169-183, LNAI 1489, Springer, 10/1998.

  9. Heiko Mantel

    Developing a Matrix Characterization for MELL

    DFKI, DFKI Research Reports (RR), Vol. 98-03, 9/1998.