Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 51 bis 60 von 12850
  1. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  2. Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  3. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  4. Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on …

  5. AI Engineering for Trust by Design

    In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based …

  6. Mark Niemeyer; Marian Renz; Maren Pukrop; David Hagemann; Tim Zurheide; Daniel Di Marco; Markus Höferlin; Philipp Stark; Florian Rahe; Matthias Igelbrink; Mario Jenz; Thomas Jarmer; Dieter Trautz; Stefan Stiene; Joachim Hertzberg

    Cognitive Weeding: An Approach to Single-Plant Specific Weed Regulation

    In: KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für …

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

    Lifted Causal Inference in Relational Domains

    In: Proceedings of the Third Conference on Causal Learning and Reasoning (CLeaR-24). Conference on Causal Learning and Reasoning (CLeaR-2024), April …

  8. Sogo Pierre Sanon; Rekha Reddy; Christoph Lipps (Hrsg.)

    DDoS Attacks in Communication: Analysis and Mitigation of Unreliable Clients in Federated Learning

    IEEE Consumer Communications and Networking Conference (CCNC-2024), January 6-9, NV, USA, IEEE, 2/2024.

  9. ShapeAug: Occlusion Augmentation for Event Camera Data

    In: International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods …

  10. LLMCheckup: Conversational Examination of Large Language Models via Interpretability Tools and Self-Explanations

    In: Su Lin Blodgett; Amanda Cercas Curry; Sunipa Dev; Michael Madaio; Ani Nenkova; Diyi Yang; Ziang Xiao (Hrsg.). Proceedings of the Third Workshop on …