Skip to main content Skip to main navigation

Publications

Displaying results 31 to 40 of 676.
  1. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, Grenoble, France, 2021.

  2. Christoph Scholl; Alexander Konrad; Alireza Mahzoon; Daniel Große; Rolf Drechsler

    Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, Grenoble, France, 2021.

  3. Jana Koehler

    Zum Begriff der Künstlichen Intelligenz

    In: Stephanie Catani und Jasmin Pfeiffer. Handbuch Künstliche Intelligenz und die Künste. Chapter 2, De Gruyter, Berlin, 8/2021.

  4. The Person Index Challenge: Extraction of Persons from Messy, Short Texts

    In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial …

  5. Bridging the Technology Gap Between Industry and Semantic Web: Generating Databases and Server Code From RDF

    In: Proceedings of the 13th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial …

  6. System Level verification of Phase-Locked Loop using Metamorphic Relations

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, virtual, 2021.

  7. The Mesh Tools Package -- Introducing Annotated 3D Triangle Maps in ROS

    In: Karsten Berns; Maria Gini; Jun Ota (Hrsg.). Robotics and Autonomous Systems (RAS), Vol. 138, Page 103688, Elsevier, 4/2021.

  8. Steve Dias Da Cruz; Bertram Taetz; Thomas Stifter; Didier Stricker

    Illumination Normalization by Partially Impossible Encoder-Decoder Cost Function

    In: Proceedings of IEEE Winter Conference on Applications of Computer Vision (WACV). IEEE Winter Conference on Applications of Computer Vision …

  9. A Deep Temporal Fusion Framework for Scene Flow Using a Learnable Motion Model and Occlusions

    In: Winter Conference on Applications of Computer Vision. IEEE Winter Conference on Applications of Computer Vision (WACV-2021), January 5-9, …

  10. Fangwen Shu; Paul Lesur; Yaxu Xie; Alain Pagani; Didier Stricker

    SLAM in the Field: An Evaluation of Monocular Mapping and Localization on Challenging Dynamic Agricultural Environment

    In: Winter Conference on Applications of Computer Vision. IEEE Winter Conference on Applications of Computer Vision (WACV-2021), January 5-9, Waikoloa …