Skip to main content Skip to main navigation

Publications

Displaying results 3171 to 3180 of 14779.

  1. Pascal Lessel; Antonio Krüger

    The Crowd and Persuasion - A Necessity for Individualized Persuasive Technologies?

    Personalizing Behavior Change Technologies CHI 2014 Workshop, 4/2014.

  2. Maria Klara Wolters; Elaine Niven; Mari Runardotter; Francesco Gallo; Heiko Maus; Robert H. Logie

    Personal Photo Preservation for the Smartphone Generation

    In: Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, Seoul, CHI 2015 Extended Abstracts, Republic of Korea, April 18 - 23, 2015. ACM International Conference on Human Factors in Computing Systems (CHI-15), April 16-23, Seoul, Korea, Republic of, Pages 1549-1554, ISBN 978-1-4503-3146-3, ACM, 4/2015.

  3. Dirk Weißenborn; Feiyu Xu; Hans Uszkoreit

    DFKI: Multi-objective Optimization for the Joint Disambiguation of Entities and Nouns & Deep Verb Sense Disambiguation

    In: Proceedings of the 9th International Workshop on Semantic Evaluations. International Workshop on Semantic Evaluation (SemEval-15), ACL, 2015.

  4. Michael Backes; Rainer W. Gerling; Sebastian Gerling; Stefan Nürnberger; Dominique Schröder; Mark Simkin

    WebTrust - A Comprehensive Authenticity and Integrity Framework for HTTP

    In: ACNS. International Conference on Applied Cryptography and Network Security (ACNS-2014), June 10-13, Lausanne, Switzerland, Pages 401-418, Lecture Notes in Computer Science (LNCS), Vol. 8479, Springer, 2014.

  5. Dirk Weißenborn; Leonhard Hennig; Feiyu Xu; Hans Uszkoreit

    Multi-objective Optimization for the Joint Disambiguation of Nouns and Named Entities

    In: 53nd Annual Meeting of the Association for Computational Linguistics, July. Annual Meeting of the Association for Computational Linguistics (ACL-15), July 27-30, Beijing, China, ACL, 2015.

  6. Stephan Weyer; Matthias Loskyll; Moritz Ohmer; Detlef Zühlke

    Die Anschlusstechnik für die smarte Fabrik

    In: Computer & Automation (C&G), Vol. 4, Pages 15-18, WEKA FACHMEDIEN GmbH, 2014.

  7. Arun Chandrasekharan; Daniel Große; Mathias Soeken; Rolf Drechsler

    Symbolic Error Metric Determination for Approximate Computing

    In: 19. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 1-2, Freiburg, Germany, 2016.

  8. Stephan Weyer; Stefanie Fischer

    Gemeinschaftsprojekt Industrie 4.0 – Fortschritt im Netzwerk

    In: Zeitschrift für wirtschaftlichen Fachbetrieb (ZWF), Vol. 01-02, Pages 50-53, Carl Hanser Verlag, München, 1/2015.

  9. Michael Kirkedal Thomsen; Mathias Soeken; Robin Kaarsgaard

    Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics

    In: 7th International Conference on Reversible Computation. International Conference on Reversible Computation (RC-07), 7th, July 16-17, Grenoble, France, 2015.

  10. Nils Przigoda; Robert Wille; Rolf Drechsler

    Verbesserung der Fehlersuche in inkonsistenten formalen Modellen

    In: 18. ITG/GMM/GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'15). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-18), March 3-4, Chemnitz, Germany, 3/2015.

Year

More options