Skip to main content Skip to main navigation

Publications

Displaying results 701 to 710 of 13252.

  1. Luca Müller; Rolf Drechsler

    SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  2. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: 16th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2024), September 19-20, Bremen, Germany, 2024.

  3. Abhoy Kole; Kamalika Datta; Rolf Drechsler

    Exploring the Potential of Dynamic Quantum Circuit for Improving Device Scalability

    In: 37th IEEE International System-on-Chip Conference. IEEE International System-on-Chip Conference (SOCC-2024), September 16-19, Dresden, Germany, 2024.

  4. Sana Hassan Imam; Christopher A. Metz; Lars Hornuf; Rolf Drechsler

    Determining the Effect of Feedback Quality on User Engagement on Idea Crowdsourcing Platforms using an AI model

    In: Jeffrey Nichols (Hrsg.). Proceedings of the ACM on Human-Computer Interaction (PACMHCI), Vol. 08, ACM, 2024.

  5. Stanislav Frolov; Brian Moser; Andreas Dengel

    SpotDiffusion: A Fast Approach For Seamless Panorama Generation Over Time

    In: IEEE/CVF Winter Conference on Applications of Computer Vision (WACV). IEEE Winter Conference on Applications of Computer Vision (WACV-2025), IEEE, 2024.

  6. Stanislav Frolov; Brian Moser; Sebastian Palacio; Andreas Dengel

    ObjBlur: A Curriculum Learning Approach With Progressive Object-Level Blurring for Improved Layout-to-Image Generation

    In: 32nd ACM Multimedia Conference. ACM International Conference on Multimedia (ACM MM-2024), ACM Digital Library, 2024.

  7. Malte Luttermann; Ralf Möller; Mattis Hartwig

    Towards Privacy-Preserving Relational Data Synthesis via Probabilistic Relational Models

    In: Andreas Hotho; Sebastian Rudolph (Hrsg.). Proceedings of the Forty-Seventh German Conference on Artificial Intelligence. German Conference on Artificial Intelligence (KI-2024), September 25-27, Würzburg, Germany, Pages 175-189, Vol. 14992, Springer, 8/2024.

  8. Y. Elser; S. Schierholz; M. Sieren; S. Engelson; L. Berkel; J Ehrhardt; H Handels; T Kepp; J. Niemeijer

    Analyse mediastinaler Lymphknoten mittels neuronaler Netze: Ein Vergleich von zusätzlichen Eingabebildern mit anatomischem Vorwissen zur verbesserten Fokussierung des Netzwerks

    In: RöFo-Fortschritte auf dem Gebiet der Röntgenstrahlen und der bildgebenden Verfahren, Vol. 196, No. S 01, Pages S57-S58, Georg Thieme Verlag, 2024.

  9. Christoph Stoeffler; Janne Janzen; Adriano del Río; Heiner Peters

    Design Analysis of a Novel Belt-Driven Manipulator for Fast Movements

    In: 2024 IEEE 20th International Conference on Automation Science and Engineering (CASE). IEEE International Conference on Automation Science and Engineering (CASE-2024), located at 20th International Conference on Automation Science and Engineering (CASE), August 28 - September 1, Bari, Puglia, Italy, IEEE XPlore, 2024.

  10. Daniel Lukats; Oliver Zielinski; Axel Hahn; Frederic Theodor Stahl

    A benchmark and survey of fully unsupervised concept drift detectors on real-world data streams

    In: International Journal of Data Science and Analytics, Vol. 18, No. 3, Pages 1-31, Springer Nature, Switzerland, 8/2024.

Year

More options