Skip to main content Skip to main navigation

Publikationen

 

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

Zeige Ergebnisse 21 bis 30 von 572
  1. K. Breiner; Marc Seissler; Gerrit Meixner; P. Forbrig; A. Seffah; K. Klöckner

    PEICS: Towards HCI Patterns into Engineering of Interactive Systems

    In: Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems. International Workshop on …

  2. Kai Breiner; Gerrit Meixner (Hrsg.)

    Proceedings of the 1st International Workshop on Pattern-Driven Engineering of Interactive Computing Systems

    International Workshop on Pattern-Driven Engineering of Interactive Computing Systems (PEICS-2010), 2nd ACM SIGCHI Symposium on Engineering …

  3. J. M. Cantera Fonseca; J. M. González Calleros; Gerrit Meixner; F. Paternó; J. Pullmann; D. Raggett; D. Schwabe; J. Vanderdonckt

    Model-Based UI XG Final Report

    W3C, W3C Incubator Group Report, Vol. 04 May 2010, 5/2010.

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

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

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

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

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

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

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