Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2001
Alle Filter entfernen
Zeige Ergebnisse 81 bis 90 von 182.

  1. Mathias Bauer; Piotr Gmytrasiewicz; Julita Vassileva

    UM2001-Proceedings of the Eighth International Conference on User Modeling

    2001.

  2. Anthony Jameson

    User-adaptive and other smart adaptive systems: Possible synergies.

    In: Proceedings of the First EUNITE Symposium, Tenerife. EUNITE Symposium, 2001.

  3. Anthony Jameson; Barbara Großmann-Hutter; Leonie March; Ralf Rummer; Thomas Bohnenberger; Frank Wittig

    When actions have consequences: Empirically based decision making for intelligent user interfaces.

    In: Knowledge-Based Systems (KBS), Vol. 14, No. 1-2, Pages 75-92, Elsevier Science B.V. 2001.

  4. Thomas Bohnenberger; Anthony Jameson

    When policies are better than plans: Decision-theoretic planning of recommendation sequences.

    In: J. Lester (Hrsg.). Proceedings of the 6th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-2001), January 14-17, Santa Fe, New Mexico, USA, Pages 21-24, ISBN 1-58113-325-1, ACM, New York, 2001.

  5. Till Mossakowski; Serge Autexier; Dieter Hutter

    Extending development graphs with hiding

    In: A. Konermann (Hrsg.). Proceedings of Fundamental Approaches to Software Engineering (FASE2001). Fundamental Approaches to Software Engineering (FASE), Springer, LNCS, 2001.

  6. Heiko Mantel; Axel Schairer; Matthias Kabatnik; Michael Kreutzer; Alf Zugenmaier

    Using Information Flow Control to Evaluate Access Protection of Location Information in Mobile Communication Networks

    Technical Report, Vol. 159, 8/2001.

  7. Axel Schairer; Serge Autexier; Dieter Hutter

    A Pragmatic Approach to Reuse in Tactical Theorem Proving

    In: Proceedings of the 4th International Workshop on Strategies in Automated Deduction (STRATEGIES 2001), 1st International Joint Conference on Automated Reasoning, IJCAR-2001. International Workshop on Strategies in Automated Deduction (STRATEGIES), Siena, 2001.

  8. Dieter Hutter; Klaus Fischer; Matthias Klusch; Werner Stephan

    Towards Secure Mobile Multiagent Based Electronic Marketplace Systems

    In: Proceedings Workshop on Security in Mobile Multiagent Systems, SEMAS-2001, Autonomous Agents 2001. Workshop on Security in Mobile Multiagent Systems (SEMAS), Montreal, 2001.

  9. Dieter Hutter; Axel Schairer

    Towards an Evolutionary Formal Software Development

    In: Proceedings 16th IEEE International Conference on Automated Software Engineering, ASE-2001. IEEE International Conference on Automated Software Engineering (ASE), San Diego, IEEE Computer Society, 2001.

  10. Jan Alexandersson; Tilman Becker

    Overlay as the Basic Operation for Discourse Processing in a Multimodal Dialogue System

    In: Proceedings of the IJCAI Workshop Knowledge and Reasoning in Practical Dialogue Systems , Seattle, 2001. IJCAI Workshop on Knowledge and Reasoning in Practical Dialogue Systems (KRPD), 2001.

Jahr