Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 182
  1. Jörg Baus; H Zimmer; H Speiser

    Die Selektion dimensionaler räumlicher Präpositionen automatisch und nicht ressourcenadaptierend

    In: Kognitionswissenschaft, Vol. 9, No. 3, Pages 114-121, Springer, 2001.

  2. Enhancing Embodied Intelligent Agents with Affective User Modelling

    In: J. Vassileva & P. Gmytrasiewicz (Eds.), UM2001, Proceedings of the Eighth International Conference.(Doctoral Consortium summary). International …

  3. Elisabeth Andre; Martin Klesen; Patrick Gebhard; Steve Allen; Thomas Rist

    Exploiting Models of Personality and Emotions to Control the Behavior of Animated Interface Agents

    In: Proceedings of the workshop on Achieving Human-Like Behavior in Interactive Animated Agents in conjunction with the Fourth International …

  4. Anthony Jameson; Frank Wittig

    Leveraging data about users in general in the learning of individual user models.

    In: B. Nebel (Ed.), Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (. International Joint Conference on …

  5. Heiko Mantel; Andrei Sabelfeld

    A Generic Approach to the Security of Multi-threaded Programs

    In: Proceedings of the 14th IEEE Computer Security Foundations Workshop. IEEE Computer Security Foundations Workshop, Cape Breton, Pages 126-142, IEEE …

  6. Heiko Mantel

    Preserving Information Flow Properties under Refinement

    In: Proceedings of the IEEE Symposium on Security and Privacy. IEEE Symposium on Security and Privacy (SP), Oakland, Pages 78-91, IEEE Computer …

  7. Heiko Mantel

    Information Flow Control and Applications -- Bridging a Gap --

    In: Jose Nuno Olivera; Pamela Zave (Hrsg.). FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods …

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

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