Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 116
  1. Methoden zur intelligenten Informationsextraktion im Internet

    In: Proceedings of the 20th European Congress Fair for Technical Communication ONLINE'97. European Congress Fair for Technical Communication (ONLINE), …

  2. Applying Explanation-Based Learning to Control and Speeding-Up Natural Language Generation

    In: Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and the 8th Conference of the European Chapter of the …

  3. Klaus Netter; Dominique Estival; Alberto Lavelli; Fabio Pianesi (Hrsg.)

    Computational Environments for Grammar Development and Linguistic Engineering (ACL'97 - EACL'97 Workshop), July 7-12

    Conference of the European Chapter of the Association for Computational Linguistics (EACL), Madrid, Spain, 1997.

  4. Mark-Jan Nederhof; Giorgio Satta

    A Variant of Earley Parsing

    In: Maurizio Lenzerini (Hrsg.). Advances in Artificial Intelligence. 5th Conference of the Italian Association for Artificial Intelligence (AI*IA 97), …

  5. Volker Strom; Aanja Elsner; Wolfgang Hess; Walter Kasper; Alexandra Klein; Hans-Ulrich Krieger; Jörg Spilker; Hans Weber; Günther Görz

    On the Use of Prosody in a Speech-to-Speech Translator

    In: Proceedings of the 5th Biennial European Conference on Speech Communication and Technology (Eurospeech'97), September 22-25. European Conference …

  6. Michael Bender; Achim Ebert; Ralf Klein; Hans-Christian Rodrian

    A Hybrid Web-based Toolkit for Human Modeling

    In: Dagstuhl '97, Scientific Visualization. Dagstuhl Seminare/Workshops, Pages 11-15, ISBN 0-7695-0503-1, IEEE Computer Society, 1997.

  7. Christoph Kreitz; Heiko Mantel; Jens Otten; Stephan Schmitt

    Connection-Based Proof Construction in Linear Logic

    In: William McCune (Hrsg.). 14th International Conference on Automated Deduction, CADE-14. International Conference on Automated Deduction (CADE), …

  8. Heiko Mantel; Enno Sandner

    A Framework for Connection Calculi

    1997.

  9. Equational Proof-Planning by Dynamic Abstraction

    In: U. Furbach; M. P. Bonacina (Hrsg.). International Workshop on First-Order Theorem Proving - FTP97. International Workshop on First-Order Theorem …

  10. Parameterized Abstractions used for Proof Planning

    DFKI, DFKI Research Reports (RR), Vol. 97-04, 1997.