Skip to main content Skip to main navigation


Zeige Ergebnisse 31 bis 40 von 194
  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. Dennis Mronga; Andreas Bresser; Fabian Maas genannt Bermpohl; Adrian Danzglock; Simon Stelter; Alina Hawkin; Hoang Giang Nguyen; Michael Beetz; Frank Kirchner

    MARLIN: A cloud integrated robotic solution to support intralogistics in retail

    In: Robotics and Autonomous Systems (RAS), ScienceDirect, 2/2024.

  3. Gaussian Mixture Likelihood-based Adaptive MPC for Interactive Mobile Manipulators

    In: 2024 IEEE International Conference on Robotics and Automation (accepted for publication). IEEE International Conference on Robotics and Automation …

  4. Siting Liang; Pablo Valdunciel Sánchez; Daniel Sonntag

    Optimizing Relation Extraction in Medical Texts through Active Learning: A Comparative Analysis of Trade-offs

    In: Association for Computational Linguistics. Conference of the European Chapter of the Association for Computational Linguistics (EACL-2024), March …

  5. Antonio Macaluso; Luca Clissa; Stefano Lodi; Claudio Sartori

    An efficient quantum algorithm for ensemble classification using bagging

    In: IET Quantum Communication, Vol. 1, Pages 1-16, Wiley, 1/2024.

  6. Julia Mayer; Martin Memmel; Johannes Ruf; Dhruv Patel; Lena Hoff; Sascha Henninger

    Progressing towards Estimates of Local Emissions from Trees in Cities: A Transdisciplinary Framework Integrating Available Municipal Data, AI, and Citizen Science

    In: Antonio Fernández-Caballero; Nuno Alexandre Ribeiro Costa; António Pereira (Hrsg.). Applied Sciences, Vol. 14, No. 1, Page 396, MDPI, 2024.

  7. Alonso Palomino; Andreas Fischer; Jakub Kuzilek; Jarek Nitsch; Niels Pinkwart; Benjamin Paaßen

    EdTec-QBuilder: A Semantic Retrieval Tool for Assembling Vocational Training Exams in German Language

    In: Kai-Wei Changi; Annie Lee; Nazneen Rajani (Hrsg.). Proceedings of the 2024 Conference of the North American Chapter of the Association for …

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

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

    RISC-V Opt-VP: An Application Analysis Platform Using Bounded Execution Trees

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