Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 381 bis 390 von 14744.

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

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

  3. Ahmed Hassan; Niels Pinkwart; Muhammad Shafi

    Zirkus Empathico 2.0: a multiplayer serious mobile game for children with autism spectrum disorder (ASD), with a focus on enhancing social and emotional development

    In: Multimedia Tools and Applications, Pages 1-24, Springer US, 4/2025.

  4. Sylvio Rüdian; Julia Podelo; Jakub Ku¸ílek; Niels Pinkwart

    Feedback on feedback: student’s perceptions for feedback from teachers and few-shot LLMs

    In: Proceedings of the 15th International Learning Analytics and Knowledge Conference. International Conference on Learning Analytics & Knowledge (LAK), Pages 82-92, ISBN 979-8-4007-0701-8/25/03, 3/2025.

  5. Nicolas Düro

    Adaptive Auswahl und Konfiguration von Case Base Maintenance Methoden: ein datengetriebener Ansatz

    Mastersthesis, Universität Trier, 2025.

  6. Michael Lorenz; Bertram Taetz; Gabriele Bleser-Taetz; Didier Stricker

    MinJointTracker: Real-time inertial kinematic chain tracking with joint position estimation and minimal state size

    In: SPA 2025 - Signal Processing - Algorithms, Architectures, Arrangements, and Applications - Conference Proceedings. Signal Processing - Algorithms, Architectures, Arrangements, and Applications (SPA-2025), 28th, September 17-19, Poznan, Poland, IEEE Explore, 2025.

  7. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    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.

  8. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    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.

  9. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  10. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

Jahr

Mehr Optionen