Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 61 bis 70 von 501
  1. 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 …

  2. Kristin Stamm; Marcus Liwicki; Andreas Dengel

    Continuous Partial Order Planning for Multichannel Document Analysis: A Process-Driven Approach

    In: Proceedings ICDAR 2013. International Conference on Document Analysis and Recognition (ICDAR), Washington D.C. USA, Pages 626-630, IEEE, 8/2013.

  3. Sviatlana Danilava; Stephan Busemann; Christoph Schommer; Gudrun Ziegler

    Why are you Silent? - Towards Responsiveness in Chatbots

    In: Avec le Temps! Time, Tempo, and Turns in Human-Computer Interaction. CHI Workshop , located at SIGCHI Conference on Human Factors in Computing …

  4. Alekh Jindal; Endre Palatinus; Vladimir Pavlov; Jens Dittrich

    A Comparison of Knives for Bread Slicing

    In: Peer Kröger; Stratis D. Viglas (Hrsg.). Proceedings of the 39th International Conference on Very Large Data Bases. International Conference on …

  5. Frederik Wiehr; Vidya Setlur; Alark Joshi

    DriveSense: Contextual handling of large-scale route map data for the automobile

    In: IEEE Conference Publications. IEEE International Conference on Big Data (IEEE BigData-2013), October 6-9, Santa Clara, CA, USA, Pages 87-94, IEEE, …

  6. Evgeny Bogdanov; Carsten Ullrich; Erik Isaksson; Matthias Palmér; Denis Gillet

    Towards PLEs through Widget Spaces in Moodle

    In: Computer Science and Information Systems Journal, Vol. 11, No. 1, Pages 443-460, ComSIS Consortium, 2013.

  7. Technische Gestaltungsoptionen für autonom agierende Komponenten und Systeme

    In: 1. Würzburger Tagung zu Technikrecht. Würzburger Tagung zu Technikrecht, November 15-16, Würzburg, Germany, 11/2013.

  8. Maja Popovic; Eleftherios Avramidis; Aljoscha Burchardt; Sabine Hunsicker; Sven Schmeier; Cindy Tscherwinka; David Vilar; Hans Uszkoreit

    Learning from human judgments of machine translation output

    In: Proceedings of the MT Summit XIV. Machine Translation Summit (MT Summit-2013), September 2-6, Nice, France, The European Association for Machine …