Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Aktive Filter:

Jahr: 2006
Alle Filter entfernen
Zeige Ergebnisse 91 bis 100 von 377

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

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

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

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

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

  6. Ralf Jung; Dominikus Heckmann

    Ambient Audio Notification with Personalized Music

    In: Workshop on Ubiquitous User Modeling. Workshop on Ubiquitous User Modeling (UbiqUM-06), Ubiquitous User Modeling, located at ECAI 2006, August 28, …

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

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

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

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

Jahr