Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2000
Alle Filter entfernen
Zeige Ergebnisse 41 bis 50 von 171.

  1. Serge Autexier; Dieter Hutter

    Towards an efficient management of change in an evolutionary formal software development

    In: W.Goerig (Hrsg.). Proceedings Workshop on Engineering of Software Verification, Validation, and Certification. Workshop on Engineering of Software Verification, Validation, and Certification, Universitaet Kiel, 2000.

  2. Serge Autexier; Dieter Hutter; Bruno Langenstein; Heiko Mantel; Georg Rock; Axel Schairer; Werner Stephan; Roland Vogt; Andreas Wolpers

    VSE: Formal Methods Meet Industrial Needs

    In: International Journal on Software Tools for Technology Transfer, Vol. 3, No. 1, Pages 66-77, Springer, Berlin, Heidelberg, 2000.

  3. Serge Autexier; Dieter Hutter; Heiko Mantel; Axel Schairer

    Towards an Evolutionary Formal Software-Development Using CASL

    In: C. Choppy; D. Bert (Hrsg.). Recent Trends in Algebraic Development Techniques, (WADT-99). International Workshop on Algebraic Development Techniques (WADT), Pages 73-88, Springer, LNCS 1827, 2000.

  4. Mathias Bauer; Dietmar Dengler; Gabriele Paul

    Communication between Trainer and Agent in Programming by Demonstration

    In: M. Bauer and C. Rich, editors, Learning How to Do Things: Papers from the 2000 AAAI Fall Symposium, North Falmouth, MA, USA. AAAI Fall Symposium, 2000.

  5. Tilman Becker; Joshi Aravind; Owen Rambow

    Complexity of scrambling: A new twist to the competence/ performance distinction

    In: In Anne Abeille and Owen Rambow,editor: Tree Adjoining Grammars. 2000.

  6. Anthony Jameson; Barbara Großmann-Hutter; Leonie March; Ralf Rummer

    Creating an empirical basis for adaptation decisions.

    In: H. Lieberman (Ed.), IUI 2000: International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI), Pages 149-156, 2000.

  7. Ralf Engel; Michael Kipp; Jan Alexandersson; Norbert Reithinger

    Dialog Processing

    In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 454-467, Springer, Berlin/Heidelberg/ New York, 2000.

  8. Ralf Engel; Jan Alexandersson; Michael Kipp; Norbert Reithinger; Stephan Koch; Uwe Küssner; Manfred Stede

    Dialog Processing and Context Evaluation Modeling Negotiation Dialogs

    In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation. Pages 443-453, Springer, Berlin/ Heidelberg/ New York, 2000.

  9. Jan Alexandersson; Paul Heisterkamp

    Some Notes on the Complexity of Dialogues

    In: Laila Dybkjaer, Koiti Hasida and David Traum (eds.) Proceedings of the ACL 2000 Workshop 1st SIGdial Workshop on Discourse and Dialogue , Hong Kong, October 2000. Annual SIGdial Meeting on Discourse and Dialogue (SIGdial), 2000.

  10. Norbert Reithinger; Michael Kipp; Ralf Engel; Jan Alexandersson

    Summarizing Multilingual Spoken Negotiation Dialogues

    In: Proceedings of ACl-2000, 2000, Pages 310-317. American Conference Institute Conferences (ACI), 2000.

Jahr