Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 81 bis 90 von 377
  1. Sergey Goncharov; Lutz Schröder; Till Mossakowski

    Completeness of Global Evaluation Logic

    In: Rastislav Kralovic; Pawel Urzyczyn (Hrsg.). Mathematical Foundations of Computer Science. International Symposium on Mathematical Foundations of …

  2. Udo Frese; Lutz Schröder

    Closing a Million-Landmarks Loop

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

  3. Tim Schwartz; Ralf Jung

    A Development Cycle for Ambient System Design

    In: Thomas Pederson; Helder Pinto; Michael Schmitz; Christoph Stahl; Lucia Terrenghi (Hrsg.). Proceedings of Modelling and Designing User Assistance …

  4. Tilman Becker; Nate Blaylock; Ciprian Gerstenberger; Ivana Kruijff-Korbayová; Andreas Korthauer; Manfred Pinkal; Michael Pitz; Peter Poller; Jan Schehl

    Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System

    In: G. Brewka; S. Coradeschi; A. Perini; P. Traverso (Hrsg.). ECAI 2006. European Conference on Artificial Intelligence (ECAI-2006), 17th, August 29 - …

  5. Tilman Becker; Peter Poller; Jan Schehl; Nate Blaylock; Ciprian Gerstenberger; Ivana Kruijff-Korbayová

    The SAMMIE system: multimodal in-car dialogue

    In: Coling ACL 2006 on Interactive presentations. International Conference on Computational Linguistics (COLING-06), COLING/ACL on Interactive …

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

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

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

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