Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 91 to 100 of 182.
  1. A Pragmatic Approach to Reuse in Tactical Theorem Proving

    In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on …

  2. Dieter Hutter; Klaus Fischer; Matthias Klusch; Werner Stephan

    Towards Secure Mobile Multiagent Based Electronic Marketplace Systems

    In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Workshop on Security in Mobile Multiagent …

  3. Dieter Hutter; Axel Schairer

    Towards an Evolutionary Formal Software Development

    In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software …

  4. Eric Schwarzkopf

    An Adaptive Web Site for the UM2001 Conference

    In: Machine Learning for User Modeling (ML4UM) 2001. Machine Learning for User Modeling (ML4UM), 2001.

  5. Ann Copestake; John Carroll; Daniel Flickinger; Robert Malouf; Stephan Oepen

    Using an Open-Source Unification-Based System for CL/ NLP Teaching

    In: Proceedings of the EACL/ ACL Workshop on Sharing Tools and Resources for Research and Education. ACL/EACL Workshop on Sharing Tools and Resources, …

  6. Ulrich Callmeier

    Efficient Parsing with Large-Scale Unification Grammars

    Mastersthesis, Universität des Saarlandes, Informatik, 2001.

  7. Eberhard Bertsch; Mark-Jan Nederhof

    Size/ Lookahead Tradeoff for LL(k)-Grammars

    In: Information Processing Letters, Vol. 80, Pages 125-129, 2001.

  8. Eberhard Bertsch; Mark-Jan Nederhof

    On the Complexity of some Extensions of RCG Parsing

    In: Proceedings of the 7th International Workshop on Parsing Technologies (IWPT'01), October 17-19. International Conference on Parsing Technologies …

  9. Micha Baum; Gregor Erbach; Markus Kommenda

    Spracherkennung: Kommunikation mit Maschinen

    In: Funkschau, Vol. 1/ 2001, Pages 26-29, 2001.

  10. Mark-Jan Nederhof

    Approximating Context-Free by Rational Transduction for Example-Based MT

    In: Proceedings of the 39th Annual Meeting and 10th Conference of the European Chapter, Workshop proceedings: Data-Driven Machine Translation, July …