Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Search narrowed by:

Year: 2006
Remove all filters
Displaying results 71 to 80 of 377.

  1. Christian Mandel; Udo Frese; Thomas Röfer

    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. Bernd Krieg-Brückner; Hui Shi

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

  9. Daniel Hausmann; Till Mossakowski; Lutz Schröder

    A Coalgebraic Approach to the Semantics of the Ambient Calculus

    In: Theoretical Computer Science, Vol. 366, No. 1-2, Pages 121-143, 2006.

  10. Thomas Röfer; Jörg Brose; Eike Carls; Jan Carstens; Daniel Göhring; Matthias Jüngel; Tim Laue; Tobias Oberlies; Sven Oesau; Max Risler; Michael Spranger; Christian Werner; Jörg Zimmer

    GermanTeam 2006

    In: G. Lakemeyer; E. Sklar; D. Sorrenti; T. Takahashi (Hrsg.). RoboCup 2006: Robot Soccer World Cup X Preproceedings. RoboCup International Symposium …

Year