Skip to main content Skip to main navigation

Publications

Displaying results 1651 to 1660 of 15049.

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

    LLM-guided Formal Verification Coupled with Mutation Testing

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

  2. Andreas Schliebitz; Heiko Tapken; Martin Atzmueller

    Preprocessing Ground-Based Hyperspectral Image Data for Improving CNN-based Classification

    In: Michael Leyer; Johannes Wichmann (Hrsg.). Lernen, Wissen, Daten, Analysen (LWDA) Conference Proceedings, Marburg, Germany, October 9-11, 2023. GI-Workshop-Tage "Lernen, Wissen, Daten, Analysen" (LWDA-2023), October 9-11, Marburg, Germany, Pages 399-413, CEUR Workshop Proceedings, Vol. 3630, CEUR-WS.org, 2023.

  3. André Zenner; Florian Daiber; Antonio Krüger

    Nicht mehr ins Leere greifen

    In: forschung - Das Magazin der Deutschen Forschungsgemeinschaft, Vol. 4/2023, Pages 22-25, Deutsche Forschungsgemeinschaft (DFG), 2023.

  4. Sönke Knoch; Daniel Porta; Andreas Luxenburger; Dieter Merkel

    Digitale Zwillinge für eine sichere Mensch-Maschine Interaktion

    In: Jahresmagazin Automation und Robotik, Vol. 6, No. 2, Pages 10-12, Institut für wissenschaftliche Veröffentlichungen, 4/2024.

  5. Sebastian Biewer; Kevin Baum; Sarah Sterz; Holger Hermanns; Sven Hetmank; Markus Langer; Anne Lauber-Rönsberg; Franz Lehr

    Software doping analysis for human oversight

    In: Formal Methods in System Design, Vol. 62, Pages 1-50, Springer, 4/2024.

  6. Jean-Francois Nies; Syed Tahseen Raza Rizvi; Mohsin Munir; Ludger van Elst; Andreas Dengel

    Knowledge-aware Object Detection in Traffic Scenes

    In: INSTICC (Hrsg.). Proceedings of the 16th International Conference on Agents and Artificial Intelligence. International Conference on Agents and Artificial Intelligence (ICAART-2024), February 24-26, Rome (ONLINE), Italy, ISBN 978-989-758-680-4, SciTePress, 2/2024.

  7. Lotfy Abdel Khaliq; Sabine Janzen; Wolfgang Maaß

    REAVER: Real-time Earthquake Prediction with Attention-based Sliding-Window Spectrograms

    In: International Joint Conference on Artificial Intelligence 2024. International Joint Conference on Artificial Intelligence (IJCAI-2024), 33rd International Joint Conference on Artificial Intelligence, August 3-9, Jeju, Korea, Republic of, International Joint Conference on Artificial Intelligence, 8/2024.

  8. Christian Backe; Malte Wirkus; Stefan Hinck; Jonathan Babel; Vadim Riedel; Nele Reichert; Andrej Kolesnikov; Tobias Stark; Jens Hilljegerdes; Hilmi Dogu Kücüker; Emir Barcic; Eduard Klink; Arno Ruckelshausen; Frank Kirchner

    RoBivaL data corpus

    Zenodo, 4/2024.

  9. Malte Wirkus; Stefan Hinck; Christian Backe; Jonathan Babel; Vadim Riedel; Nele Reichert; Andrej Kolesnikov; Tobias Stark; Jens Hilljegerdes; Hilmi Dogu Kücüker; Arno Ruckelshausen; Frank Kirchner

    Comparative Study of Soil Interaction and Driving Characteristics of Different Agricultural and Space Robots in an Agricultural Environment

    In: Journal of Field Robotics (JFR), Vol. 41, Pages 1-34, Wiley, 4/2024.

  10. Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

    Cross-Level Verification of Hardware Peripherals

    In: RISC-V Summit Europe. RISC-V Summit Europe, June 24-28, München, Germany, 2024.

Year

More options