Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 182.
  1. Rolf-Hendrik van Lengen; Jan-Thies Bähr ; Hofmann R

    Basic Application State Tracker

    2001.

  2. Rolf-Hendrik van Lengen; Marrow P; Koubarakis M; Valverde-Albacete F

    Agents in Decentralised Information Ecosystems: the DIET Approach

    In: Proceedings of the AISB'01 Symposium on Information Agents for Electronic Commerce. York: The Society for the Study of Artificial Intelligence and the Simulation of Behaviour; 2001: 109-117. AISB Symposium on Information Agents for Electronic Commerce, 2001.

  3. 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, Toulouse, France, 2001.

  4. Ulrich Callmeier

    Efficient Parsing with Large-Scale Unification Grammars

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

  5. 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 5-11. Conference of the European Chapter of the Association for Computational Linguistics (EACL), Toulouse, France, Pages 25-32, Morgan Kaufmann Publishers, 2001.

  6. Till Mossakowski; Serge Autexier; Dieter Hutter

    Extending development graphs with hiding

    In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering (FASE), Springer, LNCS, 2001.

  7. Heiko Mantel; Axel Schairer; Matthias Kabatnik; Michael Kreutzer; Alf Zugenmaier

    Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks

    Technical Report, Vol. 159, 8/2001.

  8. 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 Automated Reasoning, IJCAR-2001. International Workshop on Strategies in Automated Deduction (STRATEGIES), Siena, 2001.