Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2006
Alle Filter entfernen
Zeige Ergebnisse 51 bis 60 von 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 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. 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. 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.

Jahr