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 51 bis 60 von 377

  1. Geert-Jan Kruijff; John Kelleher; Nick Hawes

    Information Fusion For Visual Reference Resolution In Dynamic Situated Dialogue

    In: Elisabeth Andre; Laila Dybkjaer; Wolfgang Minker; Heiko Neumann; Michael Weber. Perception and Interactive Technologies (PIT 2006). Pages 117-128, …

  2. Sabrina Wilske; Geert-Jan Kruijff

    Service robots dealing with indirect speech acts

    In: Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems 2006. IEEE/RSJ International Conference on Intelligent …

  3. John Kelleher; Geert-Jan Kruijff

    Incremental generation of spatial referring expressions in situated dialog.

    In: Proceedings of ACL/COLING 2006. International Conference on Computational Linguistics (COLING-2006), located at International Committee on …

  4. John Kelleher; Geert-Jan Kruijff; Fintan Costello

    Proximity in Context: an empirically grounded computational model of proximity for processing topological spatial expressions

    In: Proceedings of ACL/COLING 2006. International Conference on Computational Linguistics (COLING-2006), located at International Committee on …

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

  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 …

  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 …

Jahr