Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1371 bis 1380 von 14767.

  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. Christian Ernst Siegfried Koch; Miguel Bande Firvida

    Active manipulator-aided docking of underactuated autonomous underwater vehicles

    In: OCEANS MTS/IEEE Conference 2024. OCEANS MTS/IEEE Conference (OCEANS-2024), September 23-26, Halifax, Canada, IEEE, 9/2024.

  9. Ihab Alzalam; Christoph Lipps; Hans Dieter Schotten

    Time-Series Forecasting Models for 5G Mobile Networks: A Comparative Study in a Cloud Implementation

    In: IEEE 15th International Conference on Network of the Future. International Conference on Network of the Future (NoF-2024), October 2-4, Castelldefels (Barcelona), Spain, IEEE, 2024.

  10. Mahta Bakhshizadeh; Heiko Maus; Andreas Dengel

    Using Semantic-based Adaptive Relevance Prediction to Enhance Entity Recommendation for Personal Knowledge Assistance

    In: Proceedings of the sixth Knowledge-aware and Conversational Recommender Systems Workshop. Knowledge-aware and Conversational Recommender Systems Workshop (KaRS-2024), October 18, Bari, Italy, Association for Computing Machinery, 2024.

Jahr

Mehr Optionen