Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 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 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.

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

  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 Vision (WSCG-2006), 14th, January 30 - February 3, Plzen-Bory, Czech Republic, Pages 41-42, ISBN 80-86943-04-6, 2006.

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

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

  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. Centrally Managed System Infrastructure and Integration in COMIC

    In: Aaron Quigley; K.P. Fishkin; B. Schiele; P. Nixon (Hrsg.). Pervasive 2006 Workshop Proceedings. International Conference on Pervasive Computing (Pervasive-2006), 4th, May 7-10, Dublin, Ireland, Pages 587-594, Lecture Notes in Computer Science (LNCS), Vol. 3968, ISBN 3-00-018411-2, Springer, 2006.

  9. Ivana Kruijff-Korbayová; Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Michael Kaisser; Peter Poller; Verena Rieser; Jan Schehl

    The SAMMIE corpus of multimodal dialogues with an MP3 player

    In: Proceedings of The 5th Language Resources and Evaluation Conference. International Conference on Language Resources and Evaluation (LREC-2006), 5th, May 22-28, Genoa, Italy, Pages 2018-2023, ISBN 2-9517408-2-4, ELDA, 2006.

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