Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 148
  1. Bastian Blankenburg; Matthias Klusch

    Privacy-Preserving Coalition Forming between Rational Service Agents

    In: A. Günter; Klaus-Dieter Althoff; R. Bergmann; F. Klügl; B. Ludwig; U. Schmid; J. Schneeberger; U. Visser; T. Böttcher (Hrsg.). KI - Künstliche …

  2. Christoph Stahl

    Towards a Notation for the Modeling of User Activities and Interactions Within Intelligent Environments

    In: Pervasive 2006 Workshop Proceedings. International Workshop on the Tangible Space Initiative (TSI-06), located at Pervasive 2006, May 7-10, …

  3. Christian Kray; Keith Cheverst; Daniel Fitton; Mark Rouncefield; Corina Sas; Christoph Stahl

    Sharing Control of Dispersed Situated Displays between Nomadic and Residential Users

    In: Proceedings of the 8th International Conference on Human Computer Interaction with Mobile Devices and Services. International Conference on …

  4. Jan Alexandersson; Kai Richter; Stephanie Becker

    I2Home: Benutzerzentrierte Entwicklung einer offenen standardbasierten Smart Home Plattform

    In: Proceedings of USEWARE 2006. VDI-Fachtagung Nutzergerechte Gestaltung technischer Systeme (USEWARE-2006), VDI-Berichte/VDI-Tagungsbände, Vol. …

  5. Adrian Ulges; Christoph Lampert; Daniel Keysers; Thomas Breuel

    Spatiogram-based Shot Distances for Video Retrieval

    11/2006.

  6. Geert-Jan Kruijff; Hendrik Zender; Patric Jensfelt; Henrik I. Christensen

    Clarification dialogues in human-augmented mapping

    In: Proceedings of the 1st Annual Conference on Human-Robot Interaction. ACM/IEEE International Conference on Human-Robot Interaction (HRI-2006), …

  7. Lutz Schröder

    A Finite Model Construction for Coalgebraic Modal Logic

    In: Luca Aceto; Anna Ingólfsdóttir (Hrsg.). Foundations Of Software Science And Computation Structures. International Conference on Foundations of …

  8. Lutz Schröder

    The HasCASL Prologue - Categorical Syntax and Semantics of the Partial $lambda$-calculus

    In: Theoretical Computer Science, Vol. 353, Pages 1-25, 2006.

  9. Till Mossakowski; Serge Autexier; Dieter Hutter

    Development Graphs -- Proof Management for Structured Specifications

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 114-145, 2006.

  10. Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel

    Algebraic-co-algebraic specification in CoCASL

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 146-197, 2006.