Skip to main content Skip to main navigation

Publications

Displaying results 3121 to 3130 of 14779.

  1. 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 Intelligent Robots and Systems (IROS-2015), September 28 - October 1, Hamburg, Germany, Pages 4504-4511, IEEE, 2015.

  2. 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.

  3. 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, China, Lecture Notes in Computer Science (LNCS), Springer, 2015.

  4. 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 (ICCAD-2015), 34th, November 2-6, Austin, TX, USA, 2015.

  5. Gabriele Bleser; 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.

  6. 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.

  7. 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 Computing and Communications (HPCC-15), August 24-26, New York (Newark), NY, USA, IEEE Press, 2015.

  8. Hans-Ulrich Krieger; Stefan Schulz

    A Modal Representation of Graded Medical Statements

    In: Proceedings of the 20th Conference on Formal Grammar. Conference on Formal Grammar (FG-2015), August 8-9, Barcelona, Spain, Proceedings werden zusätzlich in 2016 bei Springer als Buch erscheinen, 8/2015.

  9. Joerg Evermann; Tom Thaler; Peter Fettke

    Clustering Traces using Sequence Alignment

    In: Proceedings of the 11th International Workshop on Business Process Intelligence,. International Workshop on Business Process Intelligence (BPI-15), located at International Conference on Business Process Management, July 31 - August 3, Innsbruck, Austria, 2015.

  10. Robert Wille; Oliver Keszöcze; Tobias Boehnisch; Alexander Kroker; Rolf Drechsler

    Scalable One-Pass Synthesis for Digital Microfluidic Biochips

    In: IEEE Design & Test of Computers, 2015.

Year

More options