Skip to main content Skip to main navigation

Publikationen

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

  3. 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, …

  4. Christian Stahl

    Distortion-free 3D reconstruction and discrepancy check using an PGBD camera.

    Mastersthesis, Technical University of Kaiserslautern, 2013.

  5. Christopher Schölzel

    Dynamic Model Switching for Body Tracking Based on Motion Pattern Classification

    Mastersthesis, Technical University of Kaiserslautern, 2013.

  6. Oliver Wasenmüller

    Enhancing Dense 3D Models by Multi-View Triangulation and Subsequent Illumination Estimation

    Mastersthesis, Technical University of Kaiserslautern, 2013.

  7. Henry Carrillo; Oliver Birbach; Holger Täubig; Berthold Bäuml; Udo Frese; José A. Castellanos

    On the Criteria for Configurations Selection in Robot Calibration

    In: Proceedings of the IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-13), …