Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 771 bis 780 von 14766.

  1. Timo P. Gros; Nicola Müller; Daniel Fiser; Isabel Valera; Verena Wolf; Jörg Hoffmann

    Per-Domain Generalizing Policies: On Validation Instances and Scaling Behavior

    In: The 35th International Conference on Automated Planning and Scheduling. International Conference on Automated Planning and Scheduling (ICAPS-2025), November 9-14, Melbourne, Australia, AAAI Press, 2025.

  2. Anthony Kiggundu; Bin Han; Hans Dieter Schotten

    Information Bulletin Strategy in Impatient Queuing

    In: IEEE CSCN Conference Proceedings. IEEE Conference on Standards for Communications and Networking (IEEE CSCN-2025), September 15-17, Bologna, Italy, IEEE Xplore, 10/2025.

  3. Tobias Christian Nauen; Sebastian Palacio; Federico Raue; Andreas Dengel

    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.

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

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

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

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

  8. Jan Speller; Malte Luttermann; Marcel Gehrke; Tanya Braun

    Towards Explainability of Approximate Lifted Model Construction: A Geometric Perspective

    In: Sylvia Melzer; Hagen Peukert; Stefan Thiemann; Magnus Bender; Özgür L. Özçep; Nele Russwinkel; Kai Sauerwald; Diedrich Wolter (Hrsg.). Proceedings of the Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning co-located with 48th German Conference on Artificial Intelligence. Joint Workshop on Humanities-Centred Artificial Intelligence and Formal & Cognitive Reasoning (CHAI and FCR-2025), located at 48th German Conference on Artificial Intelligence (KI-2025), September 16-19, Potsdam, Germany, Pages 41-56, Vol. 4058, CEUR, 10/2025.

  9. Babu Ajish

    Control of robots with hybrid locomotion capabilities

    PhD-Thesis, DFKI, 8/2025.

  10. Leon Tadayon; Dominic Detering; Wolfgang Maaß; Georg Frey

    The impact of electricity price forecasting on the optimal day-ahead dispatch of battery energy storage systems

    In: Neis 2025 - Conference on Sustainable Energy Supply and Energy Storage Systems. Conference on Sustainable Energy Supply and Energy Storage Systems (NEIS-2025), September 15-16, Hamburg, Germany, 2025.

Jahr

Mehr Optionen