Skip to main content Skip to main navigation

Publications

Displaying results 691 to 700 of 14854.

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

  2. Nicolas Düro

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

    Mastersthesis, Universität Trier, 2025.

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

  4. Enrico Kochon; Daniel Stattkus; Simon Binz; Marian Eleks; Nils Lauinger; Philipp Fukas; Ann-Kristin Claudia Müller; Julia Knopf; Oliver Thomas

    I don't know who you are, but I know what you need: Guidelines for Federated Learning in Educational Recommender Systems

    In: Wirtschaftsinformatik 2024 Proceedings. Internationale Tagung Wirtschaftsinformatik (WI-2024), September 16-19, Würzburg, Germany, Association for Information Systems, 2024.

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

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

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

  8. Justus Bracke; Marcel Storch; Janis Bald; Thomas Jarmer

    Comparison of UAV- and mowing machine-mounted LiDAR for grassland canopy height estimation

    In: Biodiversität fördern durch digitale Landwirtschaft: Welchen Beitrag leisten KI und Co?. Jahrestagung der Gesellschaft für Informatik in der Land-, Forst- und Ernährungswirtschaft (GIL-2024), February 27-28, Hohenheim, Germany, Gesellschaft für Informatik, 2024.

  9. Tom Kocmi; Eleftherios Avramidis; Rachel Bawden; Ondrej Bojar; Anton Dorkovich; Christian Federmann; Mark Fishel; Markus Freitag; Thamme Gowda; Roman Grundkiewicz; Barry Haddow; Philipp Koehn; Benjamin Marie; Christof Monz; Makoto Morishita; Kenton Murray; Makoto Nagata; Toshiaki Nakazawa; Martin Popel; Maja Popovic; Mariya Shmatova

    Findings of the 2023 Conference on Machine Translation (WMT23): LLMs Are Here but Not Quite There Yet

    In: Philipp Koehn; Barry Haddow; Tom Kocmi; Christof Monz (Hrsg.). Proceedings of the Eighth Conference on Machine Translation. Conference on Machine Translation (WMT-2023), located at EMNLP2023, December 6-7, Singapore, Singapore, Pages 1-42, Association for Computational Linguistics, 12/2023.

  10. Tim Bohne; Anne-Kathrin Patricia Windler; Martin Atzmueller

    A Neuro-Symbolic Approach for Anomaly Detection and Complex Fault Diagnosis Exemplified in the Automotive Domain

    In: Brent Venable; Daniel Garijo; Brian Jalaian (Hrsg.). Proceedings of the 12th Knowledge Capture Conference 2023. International Conference on Knowledge Capture (K-Cap-2023), December 5-7, Pensacola, FL, USA, Pages 35-43, K-CAP '23, Vol. 12, ISBN 979-8-4007-0141-2, Association for Computing Machinery, New York, NY, USA, 12/2023.

Year

More options