Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 521 bis 530 von 14474.

  1. Martin Feick; Kora Persephone Regitz; André Zenner

    Delusionized? Potential Harms of Proprioceptive Manipulations through Hand Redirection in Virtual Reality

    In: Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology. ACM Symposium on User Interface Software and Technology (UIST-2025), Busan, Korea, Republic of, UIST '25, ISBN 9798400720376, Association for Computing Machinery, 2025.

  2. Fei Chen; Sunita Saha; Manuela Schuler; Philipp Slusallek; Tim Dahmen

    im2im: Automatically Converting In-Memory Image Representations using a Knowledge Graph Approach

    In: Proceedings of the ACM on Programming Languages. International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA-2025), October 12-18, Singapore, Pages 248-273, Vol. 9, No. OOPSLA2, Association for Computing Machinery, New York, NY, USA, 10/2025.

  3. Tobias Christian Nauen; Sebastian Palacio; Federico Raue; Andreas Dengel

    Which Transformer to Favor: A Comparative Analysis of Efficiency in Vision Transformers

    In: Proceedings of the Winter Conference on Applications of Computer Vision (WACV). IEEE Winter Conference on Applications of Computer Vision (WACV-2025), February 28 - March 4, Tucson, AZ, USA, AZ, USA, Pages 6955-6966, ISBN 979-8-3315-1083-1, IEEE, 2/2025.

  4. Timo Eckmann; Matthias Urban; Jan-Micha Bodensohn; Carsten Binnig

    HLR-SQL: Human-Like Reasoning for Text-to-SQL

    In: Novel Optimizations for Visionary AI Systems Workshop at SIGMOD 2025. Novel Optimizations for Visionary AI Systems Workshop (NOVAS-2025), located at SIGMOD 2025, June 22, Berlin, Germany, SIGMOD, 2025.

  5. Malte Luttermann; Jan Speller; Marcel Gehrke; Tanya Braun; Ralf Möller; Mattis Hartwig

    Approximate Lifted Model Construction

    In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2025), August 16-22, Montreal, QC, Canada, Pages 9077-9085, Vol. 34, IJCAI Organization, 8/2025.

  6. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  7. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  8. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

  9. Rune Krauss; Luca Müller; Marius Marach; Rolf Drechsler

    BDD Meets SAT: Binary Hybrid Diagrams for Efficient Generation of Multiple Solutions

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2025), September 10-12, St. Goar, Germany, 2025.

  10. Deepak Ravibabu; Sallar Ahmadi-Pour; Muhammad Hassan; Abhoy Kole; Chandan Jha; Rolf Drechsler

    System-Level Design Space Exploration for Matrix Multiplication using Compute-In-Memory Unit

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, Schloss Rheinfels, Germany, 2025.

Jahr

Mehr Optionen