Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 203.
  1. Jochen Müller; Peter Poller; Valentin Tschernomas

    Situated Delegation-Oriented Multimodal Presentation in SmartKom

    In: AAAI-02 Workshop on Intelligent Situation-Aware Media and Presentations. AAAI Workshop on Intelligent Situation-Aware Media and Presentations (ISAMP-2002), located at National Conference on AI, July 28, Edmonton, AB, Canada, AAAI, 2002.

  2. Stephan Baldes; Patrick Gebhard; Michael Kipp; Martin Klesen; Peter Rist; Thomas Rist; Markus Schmitt

    The Interactive CrossTalk Installation: Meta-Theater with Animated Presentation Agents

    In: Proceedings of the International Workshop on Lifelike Animated Agents. Pacific Rim International Conference on Artificial Intelligence (PRICAI-02), August 19, Tokyo, Japan, 2002.

  3. Christian Schmitt; Dietmar Dengler; Mathias Bauer

    The MAUT Machine: An Adaptive Recommender System

    In: N. Henze, editor, Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. Universität Osnabrück,. GI-Workshop "Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen" (ABIS), 2002.

  4. Anthony Jameson

    Usability issues and methods for mobile multimodal systems.

    In: Proceedings of the ISCA Tutorial and Research Workshop on Multi-Modal Dialogue in Mobile Environments, Kloster Irsee, Germany. ISCA Tutorial and Research Workshop on Multi-Modal Dialogue in Mobile Environments, 2002.

  5. Thorsten Bohnenberger; Anthony Jameson; Antonio Krüger; Andreas Butz

    User Acceptance of a Decision-Theoretic Location-Aware Shopping Guide

    In: Proceedings of the 7th international conference on Intelligent user interfaces. International Conference on Intelligent User Interfaces (IUI-02), San Francisco, CA, USA, Pages 178-179, ISBN 1-58113-459-2, ACM, New York, 2002.

  6. Louis Vuurpijl; Louis ten Bosch; Jan Peter de Ruiter; Stephane Rossignol; Lou Boves; Ralf Engel; Norbert Pfleger

    Overview of the state of the art in fusion of speech and pen input

    Max Planck Institute for Psycholinguistics, Deutsches Forszungszentrum für Künstliche Intelligenz GmbH (DFKI), Max Planck Institute for Biological Cybernetics, University of Sheffield, University of E, Public deliverables on COMIC, Vol. D4.1, 9/2002.

  7. Axel Schairer; Dieter Hutter

    Proof Transformations for Evolutionary Formal Software Development

    In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002), Springer-Verlag, LNCS, 2002.

  8. Serge Autexier; Dieter Hutter; Till Mossakowski; Axel Schairer

    The Development Graph Manager MAYA

    In: Proceedings 9th International Conference on Algebraic Methodology And Software Technology, AMAST2002. International Conference on Algebraic Methodology and Software Technology (AMAST-2002), Springer-Verlag, LNCS, 2002.

  9. Maintenance of Formal Software Developments by Stratified Verification

    In: Proceedings 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning. International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Springer-Verlag, LNAI, 2002.

  10. Klaus Fischer; Dieter Hutter

    Proceedings of the 2. International Workshop on Security of Mobile Multiagent Systems

    DFKI, Workshop-proceedings, First International Joint Conference on Autonomous Agents and Multi-Agent Systems, also DFKI-Reseach Report RR-02-03, DFKI Research Reports (RR), Vol. 02-03, Bologna, Italy, 2002.