Skip to main content Skip to main navigation

Publications

 

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

Displaying results 71 to 80 of 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 …

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

  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 …

  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 …

  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 …

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

  8. Bernardo Magnini; Danilo Giampiccolo; Pamela Forner; Christelle Ayache; Valentin Jijkoun; Petya Osenova; Anselmo Peñas; Paulo Rocha; Bogdan Sacaleanu; Richard Sutcliffe

    Overview of the CLEF 2006 Multilingual Question Answering Track

    In: Working Notes for the CLEF 2006 Workshop. Conference and Labs of the Evaluation Forum (CLEF), 2006.

  9. Bogdan Sacaleanu; Günter Neumann

    DFKI-LT at the CLEF 2006 Multiple Language Question Answering Track

    In: Working Notes for the CLEF 2006 Workshop. Conference and Labs of the Evaluation Forum (CLEF), 2006.

  10. Alessandro Vallin; Bernardo Magnini; Danilo Giampiccolo; Lili Aunimo; Christelle Ayache; Petya Osenova; Anselmo Peñas; Maarten de Rijke; Bogdan Sacaleanu; Diana Santos; Richard Sutcliffe

    Overview of the CLEF 2005 Multilingual Question Answering Track

    In: Carol Peters (Hrsg.). Accessing Multilingual Information Repositories. Springer-Verlag Berlin Heidelberg, 2006.