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 171 to 180 of 540.
  1. 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, …

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

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

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

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

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

  7. Hans-Ulrich Krieger; Thierry Declerck

    An OWL Ontology for Biographical Knowledge. Representing Time-Dependent Factual Knowledge

    In: Proceedings of the First Conference on Biographical Data in a Digital World 2015. Biographical Data in a Digital World (BD-2015), April 9, …

  8. Dennis Kolberg

    Informationsmodell für Cyber-Physische Systeme zur Beschreibung von Objekten von der Unternehmensebene bis zur Feldgeräteebene

    In: Proceedings of Automation 2015. VDI Automatisierungskongress (AUTOMATION-2015), Benefits of Change – the Future of Automation, June 11-12, …

  9. Christina Di Valentin; Jana Bracklow; Yvonne Kammerer; Clara Oloff; Uta Schwertel

    KOMMIT: Kompetent mit Medien im beruflichen Qualifizierungsprozess. Evaluationsbericht Sozialer Navigator

    Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI Research Reports (RR), 2015.

  10. Sar-graphs: A Linked Linguistic Knowledge Resource Connecting Facts with Language

    In: Fourth Workshop on Linked Data in Linguistics: Resources and Applications (LDL-2015) at ACL-IJCNLP 2015. Workshop on Linked Data in Linguistics …