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 101 bis 110 von 270
  1. Christian Kray; Rainer Wasinger; Gerd Kortuem

    Concepts and issues in interfaces for multiple users and multiple devices

    In: Workshop on Multi-User and Ubiquitous User Interfaces (MU3I) at IUI/CADUI. Workshop on Multi-User and Ubiquitous User Interfaces (MU3I), …

  2. Christoph Stahl; Jörg Baus; Antonio Krüger; Dominikus Heckmann; Rainer Wasinger; Michael Schneider

    REAL: Situated Dialogues in Instrumented Environments

    In: Workshop on Invisible and Transparent Interfaces (ITI) at AVI. AVI Workshop on Invisible and Transparent Interfaces (ITI), AVI, Gallipoli, Pages …

  3. Antonio Krüger; Andreas Butz; Christian Müller; Christoph Stahl; Rainer Wasinger; Karl-Ernst Steinberg; Andreas Dirschl

    The Connected User Interface: Realizing a Personal Situated Navigation Service

    In: Proceedings of the 9th International Conference on Intelligent User Interface. International Conference on Intelligent User Interfaces (IUI-04), …

  4. Rainer Wasinger; Michael Schneider; Jörg Baus; Antonio Krüger

    Multimodal Interactions with an Instrumented Shelf

    In: Workshop on Artificial Intelligence in Mobile Systems (AIMS) at UbiComp. Workshop on Artificial Intelligence in Mobile Systems (AIMS), UbiComp, …

  5. Erica Melis; et al.

    Customization of Interaction: The "Mathefürerschein" Experience

    In: Book of Abstract, Online Educa Berlin 2004. International Conference on Technology Supported Learning & Training (Online Educa-2004), ICWE, 2004.

  6. P. Jermann; Martin Mühlenbrock; A. Martínez

    An Introduction to Designing Computational Models of Collaborative Learning Interaction

    In: Proceedings of The 2nd International Workshop on Designing Computational Models of Collaborative Learning Interaction in conjunction with ITS …

  7. Malte Hübner; Serge Autexier; Christoph Benzmüller; Andreas Meier

    Interactive Theorem Proving with Tasks

    In: Electronic Notes in Theoretical Computer Science, Vol. 103, No. C, Pages 161-181, Elsevier, 12/2004.

  8. Viktor Izhutkin; Erica Melis; Vera Toktarova; Giorgi Goguadze

    Interactive Education Methods for the Solution of Extremal Tasks with the Help of the Learning System ActiveMath

    In: Telematika 2004. Conference on communication infrastructure and telematics for cities, municipalities and regions of the Czech Republic …

  9. Paul Libbrecht

    Authoring Web Content in ActiveMath: From Developer Tools and Further

    In: Alexandra Cristea; Franca Garzotto (Hrsg.). Proceedings of the Second International Workshop on Authoring Adaptive and Adaptable Educational …

  10. Andreas Meier; Erica Melis

    Meta Reasoning in Multiple-Strategy Proof Planning

    In: Susanne Biundo; Thom Frühwirth; Günther Palm (Hrsg.). Poster Proceedings of 27th Annual German Conference on Artificial Intelligence (KI 2004). …