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 61 to 70 of 572.
  1. Gerrit Meixner

    Model-based Useware Engineering

    In: Proceedings of the W3C Workshop on Future Standards for Model-Based User Interfaces. W3C Workshop on Future Standards for Model-Based User …

  2. Daniel Sonntag; Manuel Möller

    Prototyping Semantic Dialogue Systems for Radiologists

    In: Proceedings of the 6th International Conference on Intelligent Environments. International Conference on Intelligent Environments (IE-2010), 6th, …

  3. Manuel Möller; Patrick Ernst; Andreas Dengel

    Spatial Reasoning for Plausibility Checks of Medical Object Recognition Results Using the Foundational Model of Anatomy

    In: Proceedings of the 2nd Malaysian Joint Conference on Artificial Intelligence. Malaysian Joint Conference on Artificial Intelligence (MJCAI-2010), …

  4. Serge Autexier; Petr Sojka; Masakazu Suzuki

    Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge (Foreword)

    In: Journal Mathematics in Computer Science, Vol. 3, No. 3, Pages 225-226, Birkhaeuser, Basle, Switzerland, 3/2010.

  5. Adding Change Impact Analysis to the Formal Verification of C Programs

    In: Dominique Méry; Stephan Merz (Hrsg.). Proceedings 8th International Conference on Integrated Formal Methods (iFM 2010). International Conference …

  6. Thierry Declerck; Antonia Scheidel; Piroska Lendvai

    Proppian Content Descriptors in an Augmented Annotation Schema for Fairy Tales

    In: Caroline Sporleder; Kalliopi Zervanou (Hrsg.). Proceedings of the ECAI 2010 Workshop on Language Technology for Cultural Heritage, Social …

  7. Jan Albiez; Sylvain Joyeux; Marc Hildebrandt

    AUV Mission Management in Under-Informed Situations

    In: Proceedings of the OCEANS MTS/IEEE Conference. OCEANS MTS/IEEE Conference (OCEANS-10), September 20-23, Seattle, WA, USA, 9/2010.

  8. Georg Buscher; Susan T. Dumais; Edward Cutrell

    The good, the bad, and the random: an eye-tracking study of ad quality in web search

    In: SIGIR '10: Proceedings of the 33rd international ACM SIGIR conference on research and development in information retrieval. ACM SIGIR Conference …

  9. Alexis Heloir; Michael Kipp

    Real-Time Animation of Interactive Agents: Specification and Realization

    In: Applied Artificial Intelligence, Vol. 24, No. 6, Pages 510-529, Taylor and Francis, 2010.

  10. Alexis Heloir; Michael Kipp

    Requirements for a Gesture Specification Language

    In: Gesture in Embodied Communication and Human-Computer Interaction - 8th International Workshop, GW 2009 - Revised Selected Papers. International …