Skip to main content Skip to main navigation

Publications

 

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

Displaying results 91 to 100 of 256.
  1. Patrick Gebhard; Yasmine Arafa; Luis Botelho; Adrian Bullock; Pedro Figueiredo; Kristina Höök; Abe Mamdani; Ana Paiva; Paolo Petta; Phoebe Sengers; Marco Vala

    Affective Interactions for in Real-time Applications: the SAFIRA Project

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

  2. Patrick Gebhard; Michael Kipp; Martin Klesen; Thomas Rist

    Authoring Scenes for Adaptive, Interactive Performances

    In: Proc. of the Second International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'03). International Joint Conference on …

  3. Dieter Hutter; Heiko Mantel; Axel Schairer

    Informationsflußkontrolle als Grundlage für die Scherheit von Multiagentensystemen

    In: PIK - Praxis der Informationsverarbeitung und Kommunikation, Sonderheft Sicherheit, 2003.

  4. Bernd Krieg-Brückner; Dieter Hutter; Christoph Lüth; Erica Melis; Arnd Pötsch-Heffter; Markus Roggenbach; Jan-Georg Smaus; Martin Wirsing

    Towards MultiMedia Instruction in Safe and Secure Systems

    In: Martin Wirsing; Dirk Pattinson; Rolf Hennicker (Hrsg.). 16th International Workshop on Recent Trends in Algebraic Development Techniques (WADT …

  5. Deduction as an Engineering Science (invited paper)

    In: Ingo Dahn; Laurent Vigneron (Hrsg.). Proceedings of First-Order Theorem Proving FTP-2003. International Workshop on First-Order Theorem Proving …

  6. Maintaining Formal Developments

    In: D. Basin; H. Ganzinger; J. Harrison; A. Pnueli (Hrsg.). Dagstuhl Seminar 03451, Applied Deductive Verification. Dagstuhl Seminare/Workshops, 2003.

  7. Anthony Jameson; Stephan Baldes; Thomas Kleinbauer

    Enhancing mutual awareness in group recommender systems.

    In: B. Mobasher S. S. Anand (Eds.), Proceedings of the IJCAI 2003 Workshop on Intelligent Techniques for Web Personalization. International Joint …

  8. Anthony Jameson; Thomas Kleinbauer; C. Hackl

    Evaluation of automatically designed mechanisms.

    In: Proceedings of the First Bayesian Modeling Applications Workshop at the Nineteenth Conference on Uncertainty in Artificial Intelligence, Acapulco, …

  9. Exploiting Speech for Recognizing Elderly Users to Respond to their Special Needs.

    In: Proceedings of the Eighth European Conference on Speech Communication and Technology. European Conference on Speech Communication and Technology …

  10. Anthony Jameson; Stephan Baldes; Thomas Kleinbauer

    Generative models of group members as support for group collaboration.

    In: Proceedings of the UM 2003 Workshop on User and Group Models for Web-Based Adaptive. Workshop on User and Group Models for Web-Based Adaptive, …