Skip to main content Skip to main navigation

Publications

Displaying results 81 to 90 of 377.
  1. 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 …

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

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

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

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

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

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

  8. Christian Hahn; Cristián Madrigal Mora; Klaus Fischer; Brian Elvesæter; Arne-Jørgen Berre; Ingo Zinnikus

    Meta-models, Models, and Model Transformations: Towards Interoperable Agents

    In: MATES. German Conference on Multiagent System Technologies (MATES-2006), 4th German Conference, September 19-20, Erfurt, Germany, Pages 123-134, …

  9. Aaron Sloman; Jeremy L. Wyatt; Jackie Chappell; Geert-Jan Kruijff

    Long Term Requirements for Cognitive Robotics

    In: Proceedings of CogRob 2006. International Cognitive Robotics Workshop (CogRob-2006), 5th, July 16-17, Boston, Massachusetts, USA, IEEE, 2006.

  10. Geert-Jan Kruijff; John Kelleher; Nick Hawes

    Information Fusion For Visual Reference Resolution In Dynamic Situated Dialogue

    In: Elisabeth Andre; Laila Dybkjaer; Wolfgang Minker; Heiko Neumann; Michael Weber. Perception and Interactive Technologies (PIT 2006). Pages 117-128, …