Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 41 bis 50 von 377
  1. Matthias Klusch; K.-U. Renner

    Fast Dynamic Re-Planning of Composite OWL-S Services

    In: Proceedings of the 2nd IEEE International Workshop on Service Composition. IEEE International Workshop on Service Composition (SerComp-06), …

  2. Bastian Blankenburg; M. He; Matthias Klusch; N.R. Jennings

    Risk-Bounded Formation of Fuzzy Coalitions Among Service Agents

    In: Proceedings of the 10th International Workshop on Cooperative Information Agents. International Workshop on Cooperative Information Agents …

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

  4. Robot Navigation based on the Mapping of Coarse Qualitative Route Descriptions to Route Graphs

    In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2006). IEEE/RSJ International Conference on …

  5. Gerd Reis; Martin Bertram

    Propagating Particles through Inhomogeneous Scalar Fields

    In: J.J. Villanueva (Hrsg.). Conference Proceedings IASTED Visualization Imaging and Image Processing. IASTED International Conference on …

  6. Orientation Calculi and Route Graphs: Towards Semantic Representations for Route Descriptions

    In: M. Raubal; H. Miller; A. Frank; M. Goodchild (Hrsg.). Geographic Information Science - Fourth International Conference, GIScience 2006. …

  7. Michael Wünstel; Thomas Röfer

    A Probabilistic Approach for Object Recognition in a Real 3-D Office Environment

    In: Vaclav Skala (Hrsg.). WSCG`2006 Posters Proceedings. International Conference in Central Europe on Computer Graphics, Visualization and Computer …

  8. Lutz Schröder; Dirk Pattinson

    PSPACE Bounds for Rank 1 Modal Logics

    In: Rajeev Alur (Hrsg.). Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006). IEEE Symposium on Logic in Computer Science …

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

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