Skip to main content Skip to main navigation

Publications

Displaying results 21 to 30 of 158.
  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. Jilliam Maria Diaz Barros; Chen-Yu Wang; Jameel Malik; Abdalla Elsayed Abdou Elsayed Mohamed Arafa; Didier Stricker

    SynthSL: Expressive Humans for Sign Language Image Synthesis

    In: Proceedings of the 18th IEEE International Conference on Automatic Face and Gesture Recognition. IEEE International Conference on Automatic Face …

  8. In-Domain Inversion for Improved 3D Face Alignment on Asymmetrical Expressions

    In: Proceedings of the 18th IEEE International Conference on Automatic Face and Gesture Recognition. IEEE International Conference on Automatic Face …