Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 101 to 110 of 540.
  1. Farshad Einabadi; Oliver Grau

    Discrete Light Source Estimation from Light Probes for Photorealistic Rendering

    In: Proceedings of the British Machine Vision Conference 2015. British Machine Vision Conference (BMVC-15), September 7-10, Swansea, United Kingdom, …

  2. Matthieu Deru; Robert Neßelrath

    autoUI-ML: A Design Language for the Flexible Creation of Automotive GUIs Based on Semantically Represented Data

    In: Proceedings of the 4th International Symposium on Pervasive Displays. International Symposium on Pervasive Displays (PerDis-15), 4th, June 10-12, …

  3. Alexander Dettmann; Sebastian Bartsch; Frank Kirchner

    An Experience-Based Interface for Abstracting the Motion Control of Kinematically Complex Robots

    In: Proceedings of ASTRA 2015. ESA/Estec Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA-2015), May 11-13, Noordwijk, …

  4. Alexander Dettmann; Anna Born; Sebastian Bartsch; Frank Kirchner

    Experience-Based Adaptation of Locomotion Behaviors for Kinematically Complex Robots in Unstructured Terrain

    In: In Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015). IEEE/RSJ International Conference on …

  5. Jan Paul; Alexander Dettmann; B. Girault; Jens Hilljegerdes; Frank Kirchner; I. Ahrns; J. Sommer

    INVERITAS: A Facility for Hardware-in-the-Loop Long Distance Movement Simulation for Rendezvous and Capture of Satellites and Other Autonomous Objects

    In: Acta Astronautica, Vol. 116, No. 0, Pages 1-24, Elsevier B.V. 2015.

  6. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    Lazy-CSeq-SP: Boosting Sequentialization-based Verification of Multi-Threaded C Programs via Symbolic Pruning of Redundant Schedules

    In: Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015), October 12-15, Shanghai, …

  7. Oliver Keszöcze; Robert Wille; Krishnendu Chakrabarty; Rolf Drechsler

    A Generic and Exact Routing Methodology for Digital Microfluidic Biochips

    In: Proceedings of the 34th International Conference on Computer-Aided Design (ICCAD). IEEE/ACM International Conference on Computer-Aided Design …

  8. Gabriele Bleser-Taetz; Dima Damen; Ardhendu Behera; Gustaf Hendeby; Katharina Mura; Markus Miezal; Andrew Gee; Nils Petersen; Gustavo Maçães; Hugo Domingues; Dominic Gorecky; Luis Almeida; Walterio Mayol-Cuevas; Andrew Calway; Anthony G. Cohn; David C. Hogg; Didier Stricker

    Cognitive Learning, Monitoring and Assistance of Industrial Workflows Using Egocentric Sensor Networks

    In: Gianluca Bontempi (Hrsg.). PLoS ONE, Vol. 10, No. 6, Pages 1-41, PLOS, 6/2015.

  9. Fabrizio Nunnari; Alexis Heloir

    Evaluation of a Facial Animation Authoring Pipeline Seamlessly Supporting Performance Capture and Manual Key-pose Editing

    In: EAI Endorsed Transactions on Creative Technologies, Vol. 15, No. 3, Pages 1-13, ICST, 6/2015.

  10. Cholpon Degenbaeva; Matthias Klusch

    Critical Node Detection Problem Solving on GPU and in the Cloud

    In: Proc. of 17th IEEE International Conference on High Performance Computing and Communications. IEEE International Conference on High Performance …