Skip to main content Skip to main navigation

Publications

Displaying results 61 to 70 of 501.
  1. Till Mossakowski; Markus Roggenbach; Lutz Schröder

    Specification, Transformation, Navigation. Special Issue dedicated to Bernd Krieg-Brückner on the Occasion of his 60th Birthday

    In: Till Mossakowski; Markus Roggenbach; Lutz Schröder (Hrsg.). Electronic Communications of the EASST, Vol. 62, Pages 1-999, EASST, online, hosted by …

  2. Lassaad Cheikhrouhou; Werner Stephan; Markus Ullmann

    A New Approach to the Inductive Verification of Cryptographic Protocols Based on Message Algebras

    MACIS 2013, Nanning, China, December 11-13, Vol. Proceedings of the Fifth International Conference on Mathematical Aspects of Computer and …

  3. What can we learn about the selection mechanism for post-editing?

    In: Proceedings of Workshop on Translation Post-Editing Technology and Practice. Machine Translation Summit (MT Summit-13), 13th, September 19-23, …

  4. Markus Miezal; Gabriele Bleser-Taetz; Norbert Schmitz; Didier Stricker

    A generic approach to inertial tracking of arbitrary kinematic chains

    In: The 8th International Conference on Body Area Networks . International Conference on Body Area Networks (Bodynets-2013), 8th, September 30 - …

  5. Nicolas Vignais; Markus Miezal; Gabriele Bleser-Taetz; Katharina Mura; Dominic Gorecky; Frédéric Marin

    Innovative system for real-time ergonomic feedback in industrial manufacturing

    In: Applied Ergonomics, Vol. 44, No. 4, Pages 566-574, 7/2013.

  6. Bernd Krolla; Gabriele Bleser-Taetz; Yan Cui; Didier Stricker

    Representing Feature Location Uncertainties in Spherical Images

    In: International Conferences in Central Europe on Computer Graphics, Visualization and Computer Vision . International Conference in Central Europe …

  7. Gabriele Bleser-Taetz; Nils Petersen; Didier Stricker

    Intelligente Assistenzsysteme für die Fabrik der Zukunft

    In: Wissensmanagement, Vol. 15, No. 4, Pages 32-34, 2013.

  8. Gabriele Bleser-Taetz; Daniel Steffen; Markus Weber; Gustaf Hendeby; Didier Stricker; Laetitia Fradet; Frédéric Marin; Nathalie Ville; Francois Carré

    A Personalized Exercise Trainer for the Elderly

    In: Journal of Ambient Intelligence and Smart Environments (JAISE), Vol. 5, No. 6, Pages 547-562, IOS Press, 11/2013.

  9. Sarvenaz Salehi Mourkani; Gabriele Bleser-Taetz; Norbert Schmitz; Didier Stricker

    A Low-cost and Light-weight Motion Tracking Suit

    In: IEEE International Conference on Ubiquitous Intelligence and Computing . International Conference on Ubiquitous Intelligence and Computing …