Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 377
  1. Sabrina Wilske; Geert-Jan Kruijff

    Service robots dealing with indirect speech acts

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

  2. John Kelleher; Geert-Jan Kruijff

    Incremental generation of spatial referring expressions in situated dialog.

    In: Proceedings of ACL/COLING 2006. International Conference on Computational Linguistics (COLING-2006), located at International Committee on …

  3. John Kelleher; Geert-Jan Kruijff; Fintan Costello

    Proximity in Context: an empirically grounded computational model of proximity for processing topological spatial expressions

    In: Proceedings of ACL/COLING 2006. International Conference on Computational Linguistics (COLING-2006), located at International Committee on …

  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.