Skip to main content Skip to main navigation

Publications

Displaying results 921 to 930 of 14479.
  1. Christoph Manss; Isabel Guenther; Florian Rahe (Hrsg.)

    Artificial Intelligence XL

    SGAI International Conference on Artificial Intelligence (AI-2023), Cambridge, United Kingdom, Vol. 14381, ISBN 978-3-031-47993-9, Springer Nature Switzerland, Cham, 2023.

  2. Lost in Dialogue: A Review and Categorisation of Current Dialogue System Approaches and Technical Solutions

    In: Dietmar Seipel; Alexander Steen (Hrsg.). KI 2023: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2023), 46th German Conference on AI, Berlin, Germany, September 26–29, 2023, Proceedings, located at 46th German Conference on AI, September 26-29, Berlin, Germany, Pages 98-113, Lecture Notes in Artificial Intelligence (LNAI), Vol. 14236, ISBN 978-3-031-42607-0, Springer, Heidelberg, 9/2023.

  3. Sonar2Depth: Acoustic-Based 3D Reconstruction Using cGANs

    In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2023), October 1-5, Detroit, USA, IEEE, 2023.

  4. Mark Niemeyer; Marian Renz; Maren Pukrop; David Hagemann; Tim Zurheide; Daniel Di Marco; Markus Höferlin; Philipp Stark; Florian Rahe; Matthias Igelbrink; Mario Jenz; Thomas Jarmer; Dieter Trautz; Stefan Stiene; Joachim Hertzberg

    Cognitive Weeding: An Approach to Single-Plant Specific Weed Regulation

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 37, Pages 175-181, Springer, 1/2024.

  5. Malte Luttermann; Mattis Hartwig; Tanya Braun; Ralf Möller; Marcel Gehrke

    Lifted Causal Inference in Relational Domains

    In: Proceedings of the Third Conference on Causal Learning and Reasoning (CLeaR-24). Conference on Causal Learning and Reasoning (CLeaR-2024), April 1-3, Los Angeles, CA, USA, Pages 827-842, Vol. 236, PMLR, 5/2024.

  6. Sergiy Melnyk; Shreya Tayade; Mervat Zarour; Hans Dieter Schotten

    Wireless Industrial Communication and Control System: AI Assisted Blind Spot Detection-and-Avoidance for AGVs

    In: 3rd International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL 2022). International Conference on Innovative Intelligent Industrial Production and Logistics (IN4PL-2022), October 24-26, Valletta, Malta, ISBN 978-989-758-612-5; ISSN: 2184-9285, SCITEPRESS–Science and Technology Publications, 2022.

  7. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  8. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.

  9. Caroline Dominik; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.