Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 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 Intelligent Robots and Systems (IROS-2006), October 9-15, Bejing, China, Pages 205-210, 2006.

  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 Visualization Imaging and Image Processing (VIIP-06), August 28-30, Palma de Mallorca, Spain, Pages 96-102, ISBN 0-88986-598-1, ACTA Press, Calgary, 2006.

  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. International Conference on Geographic Information Science (GIScience-2006), 4th, September 20-23, Münster, Germany, Lecture Notes in Computer Science (LNCS), Vol. 4197, Springer; www.springer.de, Berlin, 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 Vision (WSCG-2006), 14th, January 30 - February 3, Plzen-Bory, Czech Republic, Pages 41-42, ISBN 80-86943-04-6, 2006.

  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 (LICS-06), August 12-15, Seattle, Washington, USA, Pages 231-240, IEEE, 2006.

  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 Software Science and Computation Structures (FoSSaCS-2006), 9th International Conference, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, located at ETAPS 2006, March 25-31, Vienna, Australia, Pages 157-171, Lecture Notes in Computer Science (LNCS), Vol. 3921, ISBN 3-540-33045-3, Springer; www.springer.de, Berlin, 2006.

  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. Till Mossakowski; Lutz Schröder; Markus Roggenbach; Horst Reichel

    Algebraic-co-algebraic specification in CoCASL

    In: Journal of Logic and Algebraic Programming (JLAP), Vol. 67, No. 1-2, Pages 146-197, 2006.

  10. Till Mossakowski; Lutz Schröder; Stefan Wölfl

    A Categorical Perspective on Qualitative Constraint Calculi

    In: Stefan Wölfl; Till Mossakowski (Hrsg.). Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006. Qualitative Constraint Calculi - Application and Integration. Workshop (KI-2006), located at 29th Annual German Conference on Artificial Intelligence, June 14-19, Bremen, Germany, Pages 28-39, 2006.