Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1381 bis 1390 von 13750.

  1. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  2. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

    Processor Verification using Symbolic Execution: A RISC-V Case-Study

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  3. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Polynomial Formal Verification of Floating Point Adders

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, 2023.

  4. Wei Jiang; Hans Dieter Schotten

    Performance Impact of Channel Aging and Phase Noise on Intelligent Reflecting Surface

    In: IEEE Communications Letters, Pages 1-5, IEEE, 3/2023.

  5. Khurram Azeem Hashmi; Alain Pagani; Didier Stricker; Muhammad Zeshan Afzal

    BoxMask: Revisiting Bounding Box Supervision for Video Object Detection

    In: Winter Conference on Applications of Computer Vision 2023. IEEE Winter Conference on Applications of Computer Vision (WACV-2023), January 3-8, Waikoloa, HI, USA, CVF, 2023.

  6. Dipam Goswami; René Schuster; Didier Stricker

    Attribution-aware Weight Transfer: A Warm-Start Initialization for Class-Incremental Semantic Segmentation

    In: Winter Conference on Applications of Computer Vision 2023. IEEE Winter Conference on Applications of Computer Vision (WACV-2023), January 2-7, Waikoloa, HI, USA, IEEE, 2023.

  7. Christoph Albert Johns; Michael Barz; Daniel Sonntag

    Interactive Link Prediction as a Downstream Task for Foundational GUI Understanding Models

    In: Dietmar Seipel; Alexander Steen (Hrsg.). KI 2023: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2023), Berlin, Germany, Pages 75-89, ISBN 978-3-031-42608-7, Springer Nature Switzerland, Cham, 9/2023.

  8. Nandini Ramanan; Phillip Odom; Kristian Kersting; Sriraam Natarajan

    Active Feature Acquisition via Human Interaction in Relational domains

    In: Proceedings of the 6th Joint International Conference on Data Science & Management of Data (10th ACM IKDD CODS and 28th COMAD). Joint International Conference on Data Science & Management of Data (CODS-COMAD-23), January 4-7, Mumbai, India, Pages 70-78, ISBN 978-1-4503-9797-1, ACM, New York, NY, United States, 2023.

  9. Katharina Hämmerl; Björn Deiseroth; Patrick Schramowski; Jindrich Libovický; Constantin A. Rothkopf; Alexander Fraser; Kristian Kersting

    Speaking Multiple Languages Affects the Moral Bias of Language Models

    In: Anna Rogers; Jordan L. Boyd-Graber; Naoaki Okazaki (Hrsg.). Findings of the Association for Computational Linguistics. Annual Meeting of the Association for Computational Linguistics (ACL), Pages 2137-2156, Association for Computational Linguistics, 2023.

  10. Sriraam Natarajan; Kristian Kersting

    Never Ending Reasoning and Learning: Opportunities and Challenges

    In: Martin Mundt; Keiland W. Cooper; Devendra Singh Dhami; Adéle Ribeiro; James Seale Smith; Alexis Bellot; Tyler L. Hayes (Hrsg.). AAAI Bridge Program on Continual Causality. AAAI Conference on Artificial Intelligence (AAAI-2023), February 7-8, Washington, DC, USA, Pages 71-74, Proceedings of Machine Learning Research, Vol. 208, PMLR, 2023.

Jahr

Mehr Optionen