Skip to main content Skip to main navigation

Publications

Displaying results 1641 to 1650 of 3931.
  1. Jonas Eisenmenger; Montserrat Diaz-Carrasco; Marc Manz; Javier Vinals

    Development and application of Interchangeable Tools for Modular In-Orbit Assembly Scenarios

    In: 76th International Astronautical Congress. International Astronautical Congress (IAC-2025), September 29 - October 3, Sydney, Australia, IAF, 10/2025.

  2. Shubham Tiwari

    Hyperparameter Optimization for enhancing the Privacy-Utility Tradeoff

    Mastersthesis, Universität Trier, 2025.

  3. Franka Brunen

    Reconciliation für hybride KI-Ansätze am Beispiel der Notrufabfrage

    Mastersthesis, Universität Trier, 2025.

  4. TaylorShift: Shifting the Complexity of Self-Attention from Squared to Linear (and Back) using Taylor-Softmax

    In: Apostolos Antonacopoulos; Subhasis Chaudhuri; Rama Chellappa; Cheng-Lin Liu; Saumik Bhattacharya; Umapada Pal (Hrsg.). Pattern Recognition. International Conference on Pattern Recognition (ICPR-2024), December 1-5, Kolkata, India, India, Pages 1-16, ISBN 978-3-031-78172-8, Springer Nature Switzerland, Switzerland, 12/2024.

  5. Which Transformer to Favor: A Comparative Analysis of Efficiency in Vision Transformers

    In: Proceedings of the Winter Conference on Applications of Computer Vision (WACV). IEEE Winter Conference on Applications of Computer Vision (WACV-2025), February 28 - March 4, Tucson, AZ, USA, AZ, USA, Pages 6955-6966, ISBN 979-8-3315-1083-1, IEEE, 2/2025.

  6. Timo Eckmann; Matthias Urban; Jan-Micha Bodensohn; Carsten Binnig

    HLR-SQL: Human-Like Reasoning for Text-to-SQL

    In: Novel Optimizations for Visionary AI Systems Workshop at SIGMOD 2025. Novel Optimizations for Visionary AI Systems Workshop (NOVAS-2025), located at SIGMOD 2025, June 22, Berlin, Germany, SIGMOD, 2025.

  7. Malte Luttermann; Jan Speller; Marcel Gehrke; Tanya Braun; Ralf Möller; Mattis Hartwig

    Approximate Lifted Model Construction

    In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2025), August 16-22, Montreal, QC, Canada, Pages 9077-9085, Vol. 34, IJCAI Organization, 8/2025.

  8. Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.