Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 1995
Remove all filters
Displaying results 41 to 50 of 97.

  1. Jan Alexandersson

    Plan Recognition in Verbmobil

    In: Proceedings of the IJCAI-95 Workshop "The Next Generation of Plan Recognition Systems: Challanges for an Insight from Related Areas of AI". International Joint Conference on Artificial Intelligence (IJCAI-95), Montreal, Canada, 8/1995.

  2. Jan Alexandersson; Elisabeth Maier; Norbert Reithinger

    A robust and Efficient Threelayered Dialog Component for a Speech-to-Speech Translation System

    In: Proceedings of the 7th Conference of the European Chapter of the ACL. Conference of the European Chapter of the Association for Computational Linguistics (EACL-95), March 27-31, Dublin, Ireland, 1995.

  3. Dieter Hutter

    Using Colored Terms Everywhere

    In: Dagstuhl-Seminar Report, 122, IBFI GmbH. Dagstuhl Seminare/Workshops, Schloß Dagstuhl, 1995.

  4. Georg Rock

    Transformations of First-Order Formulae for Automated Reasoning

    em Masters Thesis. Max-Planck-Institut für Informatik, Germany, 4/1995.

  5. Frank Koop; Markus Ullmann; Stefan Wittmann; Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan; Andreas Wolpers; Wolfgang Reif

    The VSE development method - a way to engineer high-assurance software systems

    In: R. Gotzhein; J. Bredereke (Hrsg.). Tagungsband des 5. GI/ITG-Fachgesprächs "Formale Beschreibungstechniken für verteilte Systeme". GI/ITG-Fachgespräch (FBT), June 22-23, Kaiserlautern, Germany, 1995.

  6. Dieter Hutter; Michael Kohlhase

    A Colored Version of the Lambda-Calculus

    Technical Report, Vol. SR-95-08, 1995.

  7. Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers

    Verification Support Environment (VSE)

    In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. Dagstuhl Seminare/Workshops, February 27 - March 3, Schloß Dagstuhl, Germany, 1995.

  8. Dieter Hutter; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: A. Ireland (Hrsg.). Proceedings AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice. AISB-Workshop Automated Reasoning: Bridging the gap between theory and practice, Sheffield, Pages 43-44, 1995.

  9. Stephan Busemann

    Towards Classification of Generation Subtasks

    In: Wolfgang Hoeppner; Helmut Horacek (Hrsg.). Principles of Natural Language Generation. Papers from a Dagstuhl-Seminar. Dagstuhl Seminare/Workshops, Duisburg, Germany, Pages 25-32, Dagstuhl-Seminar-Report, No. SI-12, 1995.

  10. Johan Bos; Anne-Marie Mineur; Paul Buitelaar

    Bridging as Coercive Accomodation

    CLAUS-Report, Universität des Saarlandes, Vol. 52, 3/1995.

Year