Skip to main content Skip to main navigation

Publikationen

Aktive Filter:

Jahr: 2005
Alle Filter entfernen
Zeige Ergebnisse 51 bis 60 von 327.

  1. Serge Autexier; Dieter Hutter

    Mind the Gap - Maintaining Formal Developments in MAYA

    In: Festschrift in Honor of J.H.~Siekmann. Springer-Verlag, LNCS 2605, 2005.

  2. Alan Bundy; David Basin; Dieter Hutter; Andrew Ireland

    Rippling: Meta-level Guidance for Mathematical Reasoning

    Cambridge University Press, 2005.

  3. Dieter Hutter; Werner Stephan

    Mechanizing Mathematical Reasoning, Techniques, Tools, and Applications, Festschrift in Honour of J.H.~Siekmann

    Springer-Verlag, LNCS 2605, 2005.

  4. Dieter Hutter; Markus Ullmann (Eds.)

    Proceedings of the Second International Conference on Security in Pervasive Computing

    Springer-Verlag, LNCS 3450, Boppard, Germany, 2005.

  5. Florian Kupsch; Dirk Werth

    Integrating Business Processes with Peer-to-Peer technology

    In: INTEROP ESA Conference, Geneva. INTEROP ESA Conference, 2005.

  6. Lübomira Spassova; Rainer Wasinger; Jörg Baus; Antonio Krüger

    Product Associated Displays in a Shopping Scenario

    In: Proceedings of the 4th IEEE / ACM International Symposium on Mixed and Augmented Reality (ISMAR). IEEE International Symposium on Mixed and Augmented Reality (ISMAR), Vienna, Pages 210-211, IEEE Computer Society, 2005.

  7. Rainer Wasinger; Antonio Krüger; Oliver Jacobs

    Integrating Intra and Extra Gestures into a Mobile and Multimodal Shopping Assistant

    In: Proceedings of the 3rd International Conference on Pervasive Computing (Pervasive). International Conference on Pervasive Computing (Pervasive), Munich, Pages 297-314, 2005.

  8. Rainer Wasinger; Antonio Krüger

    Modality Preference: Learning from Users

    In: Workshop on User Experience Design for Pervasive Computing (Experience) at Pervasive. Workshop on User Experience Design for Pervasive Computing (Experience), Munich, 2005.

  9. Harald Lochert; Jan Alexandersson; Tilman Becker; Thomas Kleinbauer

    OntoMatters---Ontology-Based Representation of Multi-modal Multi-party Interaction.

    In: In Proceedings of the Second Joint. Joint Workshop on Multimodal Interaction and Related Machine Learning Algorithms (MLMI-05), Edinburgh, Springer, 7/2005.

  10. Christoph Lauer; Jochen Frey; Benjamin Lang; Jan Alexandersson; Tilman Becker; Thomas Kleinbauer; Harald Lochert

    AmiGram - a general-purpose tool for multimodal corpus annotation

    In: Proceedings of the Second Joint Workshop on Multimodal Interaction and Related Machine Learning Algorithms. Joint Workshop on Multimodal Interaction and Related Machine Learning Algorithms (MLMI-05), July 11-13, Edinburgh, United Kingdom, Springer, 7/2005.

Jahr