Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 807.
  1. Thomas Röfer; Tim Laue; Arne Hasselbring; Lukas Malte Monnerjahn; Nele Matschull; Lukas Plecher

    B-Human 2021 - Playing Soccer Out of the Box

    In: Rachid Alami; Joydeep Biswas; Maya Cakmak; Oliver Obst (Hrsg.). RoboCup 2021: Robot World Cup XXIV. RoboCup International Symposium (RoboCup-2021), June 22-28, Pages 302-313, Lecture Notes in Artificial Intelligence (LNAI), Vol. 13132, Springer, 2022.

  2. System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022), February 27 - March 1, Bremerhaven, Germany, 2022.

  3. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022), February 27 - March 1, Bremerhaven, Germany, 2022.

  4. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    An ILP-based Global Optimum Test Scheduler for IEEE 1687 Multi-Power Domain Networks

    In: 34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2022), February 27 - March 1, Bremerhaven, Germany, 2022.

  5. Erste Schritte zu einem virtuellen Zuchtgarten mittels eines autonomen Roboters

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). Künstliche Intelligenz in der Agrar-und Ernährungswirtschaft?. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2022), February 21-22, Tänikon, Switzerland, Pages 295-300, ISBN 978-3-88579-711-1, Gesellschaft für Informatik e.V. Bonn, 2/2022.

  6. Christoph Tieben; Tobias Reuter; Konstantin Nahrstedt; Franz Kraatz; Kai Lingemann; Dieter Trautz; Thomas Jarmer; Joachim Hertzberg

    Auf dem Weg zu einem Entscheidungsunterstützungssystem zur Pflege und Ernte von Grünlandflächen

    In: Markus Gandorfer; Christa Hoffmann; Nadja El Benni; Marianne Cockburn; Thomas Anken; Helga Floto (Hrsg.). Künstliche Intelligenz in der Agrar-und Ernährungswirtschaft?. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2022), February 21-22, Tänikon, Switzerland, Pages 289-294, ISBN 978-3-88579-711-1, Gesellschaft für Informatik e.V. Bonn, 2/2022.

  7. Interactive Machine Learning for Image Captioning

    The AAAI-22 Workshop on Interactive Machine Learning, 2/2022.

  8. Implicit Estimation of Paragraph Relevance from Eye Movements

    In: Frontiers in Computer Science, Vol. 3, Page 13, Frontiers Media S.A. 1/2022.

  9. VR-Splines - Entwicklung eines Virtual-Reality-Prototyps für den Mathematikunterricht

    In: Wirtschaftsinformatik 2022 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2022), February 21-23, Nürnberg, Germany, 2022.

  10. Shailza Jolly; Zi Xuan Zhang; Andreas Dengel; Lili Mou

    Search and Learn: Improving Semantic Coverage for Data-to-Text Generation

    In: AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-2022), February 22 - March 1, Vancouver, Canada, AAAI, 2022.