Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 377
  1. 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 …

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

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

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

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

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

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

  8. Christoph Stahl; Jens Haupert

    Taking Location Modelling to new Levels: A Map Modelling Toolkit for Intelligent Environments

    In: Mike Hazas; Thomas Strang; John Krumm (Hrsg.). Proceedings of the International Workshop on Location- and Context-Awareness (LoCA). International …

  9. Christoph Stahl; Jens Haupert

    Simulating and Evaluating Public Situated Displays in Virtual Environment Models

    In: Thomas Pederson; Helder Pinto; Michael Schmitz; Christoph Stahl; Lucia Terrenghi (Hrsg.). International Workshop on Modelling and Designing User …

  10. Centrally Managed System Infrastructure and Integration in COMIC

    In: Aaron Quigley; K.P. Fishkin; B. Schiele; P. Nixon (Hrsg.). Pervasive 2006 Workshop Proceedings. International Conference on Pervasive Computing …