Skip to main content Skip to main navigation

Publications

Search narrowed by:

Year: 2006
Remove all filters
Displaying results 31 to 40 of 377.

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

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

  3. Christoph Stahl; Jens Haupert

    Taking Location Modelling to new Levels: A Map Modelling Toolkit for Intelligent Environments

    In: Mike Hazas; Thomas Strang; John Krumm (Hrsg.). Proceedings of the International Workshop on Location- and Context-Awareness (LoCA). International Workshop on Location- and Context-Awareness (LoCa-06), The 4th International Conference on Pervasive Computing, May 10-11, Dublin, Ireland, Pages 74-85, Lecture Notes in Computer Science, Vol. 3987 / 2006, ISBN 978-3-540-34150-5, Springer-Verlag Berlin Heidelberg, 2006.

  4. Christoph Stahl; Jens Haupert

    Simulating and Evaluating Public Situated Displays in Virtual Environment Models

    In: Thomas Pederson; Helder Pinto; Michael Schmitz; Christoph Stahl; Lucia Terrenghi (Hrsg.). International Workshop on Modelling and Designing User Assistance in Intelligent Environments. Modeling and Designing User Assistance in Intelligent Environments (MODIE-2006), 8th conference on Human-computer interaction with mobile devices and services, September 12-15, Helsinki, Finland, Pages 32-35, ACM, New York, NY, USA, 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.

Year