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 1 to 10 of 676.
  1. 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.

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

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

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

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

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

  7. Parallel Computing of Graph-Based functions in ReRAM

    In: Journal on Emerging Technologies in Computing Systems (JETC), ACM, 2021.

  8. Shailza Jolly; Sandro Pezzelle; Moin Nabi

    EaSe: A Diagnostic Tool for VQA Based on Answer Diversity

    In: 2021 Annual Conference of the North American Chapter of the Association for Computational Linguistics. Annual Conference of the North American …

  9. RPSRNet: End-to-End Trainable Rigid Point Set Registration Network usingBarnes-Hut 2^D-Tree Representation

    In: IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). International Conference on Computer Vision and Pattern Recognition …

  10. Monetäre Bewertung von Daten im Kontext der Rechnungslegung - Ansätze zur Datenbilanzierung

    In: Daniel Trauth; Thomas Bergs; Wolfgang Prinz (Hrsg.). Monetarisierung von technischen Daten. Pages 115-130, ISBN 978-3-662-62914-7, Springer, 2021.