Skip to main content Skip to main navigation

Publications

Displaying results 1901 to 1910 of 14833.

  1. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more -- Using Boolean literals to solve 2048

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

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

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

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

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

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

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

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

  9. Mariia Podguzova; Simon Häring; Jamiu Ojeleye; Stephan Krauß; Didier Stricker

    AR Assistant for Pruning of Grapevines and Fruit Trees

    In: Kaj Helin; Despina Michael-Grigoriou; Tina Katika; Barbara Schiavi; Electra Tsaknaki (Hrsg.). EuroXR 2024: Proceedings of the 21st EuroXR International Conference. EuroXR International Conference (EuroXR-2024), located at The 21st EuroXR International Conference, November 27-29, Athens, Greece, Pages 61-66, VTT Technology 432, Vol. Application Track, No. 10, ISBN 9789513887964, VTT Technical Research Centre of Finland, Finland, 11/2024.

  10. Qianli Wang; Tatiana Anikina; Nils Feldhus; Simon Ostermann; Sebastian Möller; Vera Schmitt

    Cross-Refine: Improving Natural Language Explanation Generation by Learning in Tandem

    In: Marianna Apidianaki; Hend Al-Khalifa; Barbara Di Eugenio; Steven Schockaert (Hrsg.). 31th International Conference on Computational Linguistics 2025. International Conference on Computational Linguistics (COLING-2025), January 19-24, Abu Dhabi, United Arab Emirates, International Conference on Computational Linguistics, 2025.

Year

More options