Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 781 bis 790 von 13710.

  1. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

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

  2. 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 Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.

  3. Caroline Dominik; Rolf Drechsler

    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.

  4. Andreas Luxenburger; Jonas Mohr; Dieter Merkel; Sönke Knoch; Daniel Porta; Christian Paul; Johannes Widenka; Philipp Schäfers; Markus Baumann; Stefan Lehnhoff; Joachim Schwab

    Interactive Digital Twins for Online Planning and Worker Safety in Intralogistics and Production

    In: Proceedings of the 6th IEEE International Conference on Artificial Intelligence & extended and Virtual Reality. IEEE International Conference on Artificial Intelligence and Extended and Virtual Reality (AIxVR-2024), January 17-19, Los Angeles, USA, IEEE Computer Society Press, 2024.

  5. Shishir Muralidhara; Sravan Kumar Jagadeesh; René Schuster; Didier Stricker

    JPPF: Multi-task Fusion for Consistent Panoptic-Part Segmentation

    In: SN Computer Science (SNCS), Vol. 5, Pages 0-16, Springer, 2024.

  6. Soumya Sengupta; Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler

    AQuCiDe: Architecture Aware Decomposition of Quantum Circuits

    In: Himanshu Thapliyal; Travis Humble. Quantum Computing: Circuits, Systems, Automation and Applications. Pages 69-87, Springer, 2024.

  7. 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 Informatik e.V. (KI), Vol. 37, Pages 175-181, Springer, 1/2024.

  8. 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 1-3, Los Angeles, CA, USA, Pages 827-842, Vol. 236, PMLR, 5/2024.

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

  10. Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

    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 Biomedical Engineering Systems and Technologies (BIOSTEC-2024), February 21-23, Rome, Italy, Pages 175-184, Vol. 2, ISBN 978-989-758-688-0, SciTePress, 2024.

Jahr

Mehr Optionen