Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 25 bis 30 von 102
  1. 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.

  2. Mark-Jan Nederhof; Anoop Sarkar; Giorgio Satta

    Prefix Probabilities from Stochastic Tree Adjoining Grammar

    In: Proceedings of the 17th International Conference on Computational Linguistics and 36th Annual Meeting of the Association on Computational …

  3. Mark-Jan Nederhof; Anoop Sarkar; Giorgio Satta

    Prefix Probabilities for Linear Indexed Grammars

    In: Proceedings of the 4th International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+4), August 1-3. Colloque International sur …

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

  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 …

  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 …