Skip to main content Skip to main navigation

Publications

 

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

Search narrowed by:

Year: 2000
Remove all filters
Displaying results 81 to 90 of 171.

  1. 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.

  2. 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 …

  3. 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.

  4. 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.

  5. Tilman Becker; Dominikus Heckmann

    Efficient parsing of mildly context-sensitve RMs

    In: Proceedings of the Sixth International Workshop on Parsing Technologies, IWPT2000. International Conference on Parsing Technologies (IWPT), 2000.

  6. Ralph Schäfer; Mathias Bauer

    Ein intelligenter Ansatz zur Personalisierung von Webseiten mit Informationsdiensten.

    In: M. E. Müller, editor. Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Institut für Semantische Informationsverarbeitung, …

  7. Mathias Bauer; Christoph Clodo; Eric Schwarzkopf

    Einsatz adaptiver Techniken für die UM2001.

    In: In M. E. Müller, editor. Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Institut für Semantische Informationsverarbeitung, …

  8. Anthony Jameson

    Empirically based decision-theoretic methods for situated interaction.

    In: A. Schmidt (Ed.), Situated interaction in ubiquitous computing: Proceedings of a workshop at the CHI 2000 Conference on Human Factors in Computing …

  9. Frank Wittig; Anthony Jameson

    Exploiting qualitative knowledge in the learning of conditional probabilities of Bayesian networks.

    In: Craig Boutilier; Moisés Goldszmidt (Hrsg.). UAI '00: Proceedings of the 16th Conference in Uncertainty in Artificial Intelligence. Conference in …

  10. Heinz Kirchmann; Alassane Ndiaye; Andreas Klüter

    From a Stationary Prototype to Telephone Translation Services.

    In: Wolfgang Wahlster (Hrsg.). Verbmobil: Foundations of Speech-to-Speech Translation, Springer, Series: Artificial Intelligence. Pages 661-672, 2000.

Year