Skip to main content Skip to main navigation

Publications

Displaying results 1841 to 1850 of 14836.

  1. Mario Gleirscher; Rehab Massoud; Dieter Hutter; Christoph Lüth

    How Deduction Systems Can Help You To Verify Stability Properties

    In: Conference on Decision and Control. IEEE Conference on Decision and Control (CDC-2024), December 16-19, Milano, Italy, Vol. abs/2404.10747, IEEE, 2024.

  2. David Buschhüter; Norbert Pengel

    Sensor-Based Learning Analytics for Mentoring in Higher Education: An Example in the Context of the AI Act

    In: Companion Proceedings of the 15th International Learning Analytics and Knowledge Conference (LAK'25). International Conference on Learning Analytics & Knowledge (LAK-2025), Expanding the Horizons of Learning Analytics, located at LAK-2025, March 3-7, Dublin, Ireland, Pages 162-164, ISBN 979-8-4007-0701-8, ACM, New York, 3/2025.

  3. Muhammad Moiz Sakha; Florian Daiber; Matthias Enders; Christoph Tieben; Benjamin Kisliuk; Antonio Krüger

    Enhancing Plant Variety Discovery Process with Visual Trait Assessment in VR

    In: 2025 IEEE Conference Virtual Reality and 3D User Interfaces (VR). IEEE Conference on Virtual Reality and 3D User Interfaces (VR-2025), France, Pages 125-134, IEEE, 3/2025.

  4. Benjamin Kisliuk; Christoph Tieben; Martin Atzmueller

    Enabling Reliable Long-Term Robotic Data Acquisition: An Exemplary Use-Case in Agricultural Plant Monitoring

    In: Tamim Asfour (Hrsg.). 1st German Robotics Conference. German Robotics Conference (GRC-2025), March 13-15, Nuremberg, Germany, GRC, 2025.

  5. Robert Leist; Hans-Jürgen Profitlich; Tim Hunsicker; Daniel Sonntag

    Towards Trustable Clinical Decision Support Systems: A User Study with Ophthalmologists

    In: IUI '25: Proceedings of the 30th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces (IUI-2025), March 24-27, Cagliari, Italy, ISBN 979-8-4007-1306-4, Association for Computing Machinery, New York, NY, United States, 3/2025.

  6. Summra Saleem; Muhammad Nabeel Asim; Ludger van Elst; Andreas Dengel

    Generative language models potential for requirement engineering applications: insights into current strengths and limitations

    In: Complex & Intelligent Systems, Vol. 11, No. 6, Pages 1-22, Springer, 2025.

  7. . (Hrsg.)

    DeiSAM: Segment Anything with Deictic Prompting

    AAAI Workshop on Neuro-Symbolic Learning and Reasoning in the Era of Large Language Models, located at AAAI, 2024.

  8. Wiebke Brinkmann; Leon Cedric Danter; Amrita Suresh; Mehmed Yüksel; Manuel Meder; Frank Kirchner

    Development strategies for multi-robot teams in context of planetary exploration

    In: 2024 International Conference on Space Robotics. International Conference on Space Robotics (iSpaRo-2024), June 24-27, Luxembourg, Luxembourg, o. A. 6/2024.

  9. Marcel Merten; Mohammed E. Djeridane; Muhammad Hassan; Niladri Bhattacharjee; Jens Trommer; Thomas Mikolajick; Rolf Drechsler

    Enhancing Resilience against Sequential Attacks on Logic Locking using Evolutionary Strategies

    In: 36. 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-2024), February 25-27, Darmstadt, Germany, 2024.

  10. Sana Hassan Imam; Christopher Alexander Metz; Rolf Drechsler

    How Can Generative AI Curate the User Creativity on an Idea Crowdsourcing Platform?

    In: ACM CHI 24 Workshop on Generative AI in User-Generated Content. Generative AI in User-Generated Content Workshop, located at CHI 2024, May 12, 2024.

Year

More options