Skip to main content Skip to main navigation

Publications

Displaying results 3051 to 3060 of 14779.
  1. Fabian Quint; Katharina Mura; Dominic Gorecky

    In-factory learning – Qualification for the factory of the future

    In: International Conference on Manufacturing Science and Education. International Conference on Manufacturing Science and Education (MSE-2015), June 3-6, Romania, Sibiu, 2015.

  2. Fabian Quint

    Mobile Assistenzsysteme für einen vereinfachten Wissensaustausch - Anforderungen & Lösungsansätze aus der Praxis im Projekt AmbiWise

    1. Wissensmanagement-Tagen für Industrie und Produktion 4.0 , Stuttgart, 6/2015.

  3. Rolf Drechsler; Martin Fränzle; Robert Wille

    Envisioning Self-Verification of Electronic Systems

    In: 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC). Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoc-2015), June 29 - July 1, Bremen, Germany, 2015.

  4. Matthias Kreil; Kristof Van Laerhoven; Paul Lukowicz

    Allowing early inspection of activity data from a highly distributed bodynet with a hierarchical-clustering-of-segments approach

    In: Body Sensor Networks (BSN), 2013 IEEE International Conference on. IEEE International Conference on Body Sensor Networks (BSN-2013), May 6-9, Cambridge, MA, USA, Pages 1-6, ISBN 978-1-4799-0331-3 , IEEE, 2013.

  5. Matthias Kreil; Bernhard Sick; Paul Lukowicz

    Dealing with human variability in motion based, wearable activity recognition

    In: Pervasive Computing and Communications Workshops (PERCOM Workshops), 2014 IEEE International Conference on . IEEE International Conference on Pervasive Computing and Communications (PerCom-2013), March 24-28, Budapest, Hungary, IEEE, 2014.

  6. Rolf Drechsler; Ulrich Kühne

    Formal Modeling and Verification of Cyber-Physical Systems

    In: Rolf Drechsler; Ulrich Kühne. Formal Modeling and Verification of Cyber-Physical Systems. Springer, 2015.

  7. Philipp Niemann; Robert Wille; D. Michael Miller; Mitchell A. Thornton; Rolf Drechsler

    QMDDs: Efficient Quantum Function Representation and Manipulation

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2015.

  8. Mathias Soeken; Robert Wille; Oliver Keszöcze; D. Michael Miller; Rolf Drechsler

    Embedding of Large Boolean Functions for Reversible Logic

    In: Journal on Emerging Technologies in Computing Systems (JETC), 2015.

  9. Tobias Franke; Paul Lukowicz; Kai Kunze; David Bannach

    Can a mobile phone in a pocket reliably recognize ambient sounds?

    In: International Symposium on Wearable Computers, 2009. ISWC'09. . IEEE International Symposium on Wearable Computers (ISWC-2009), September 4-7, Linz, Austria, Pages 161-162, ISBN 978-0-7695-3779-5, IEEE, 2009.

  10. Martin Wirz; Tobias Franke; Eve Mitleton-Kelly; Daniel Roggen; Paul Lukowicz; Gerhard Tröster

    Coenosense: A framework for real-time detection and visualization of collective behaviors in human crowds by tracking mobile devices

    In: Proceedings of the European Conference on Complex Systems 2012. European Conference on Complex Systems (ECCS-2012), Brussels, Belgium, Pages 353-361, ISBN 978-3-319-00394-8, Springer, Heidelberg, 2013.