Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1661 bis 1670 von 13891.

  1. Muhammad Hassan; Rolf Drechsler

    Expanding RISC-V Horizons: Streamlining Heterogeneous Systems Evaluation with Open Source RISC-V AMS VP Framework

    In: RISC-V Summit Europe 2023. RISC-V Summit Europe, June 5-9, Barcelona, Spain, 2023.

  2. Yusser Al Ghussin; Jingyi Zhang; Josef van Genabith

    Exploring Paracrawl for Document-level Neural Machine Translation

    In: Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics. Conference of the European Chapter of the Association for Computational Linguistics (EACL-2023), May 2-6, Dubrovnik, Croatia, Pages 1304-1310, Vol. Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, Association for Computational Linguistics, Dubrovnik, Croatia, 5/2023.

  3. Janis Sprenger; Lorena Hell; Matthias Klusch; Yoshiyuki Kobayashi; Shoma Kudo; Christian Müller

    Cross-Cultural Behavior Analysis of Street-Crossing Pedestrians in Japan and Germany

    In: Intelligent Vehicles. IEEE Intelligent Vehicles Symposium (IV-2023), IEEE, 2023.

  4. Tanay Agrawal; Michal Balazia; Philipp Müller; François Brémond

    Multimodal Vision Transformers with Forced Attention for Behavior Analysis

    In: Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision. IEEE Winter Conference on Applications of Computer Vision (WACV-2023), January 3-7, Waikoloa, HI, USA, Pages 3392-3402, IEEE, 2023.

  5. Alexander Konrad; Christoph Scholl; Alireza Mahzoon; Daniel Große; Rolf Drechsler

    Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, Freiburg, Germany, 2023.

  6. Niklas Bruns; Sallar Ahmadi-Pour; Sören Tempel; Rolf Drechsler

    Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, 2023.

  7. Arighna Deb; Kamalika Datta; Rolf Drechsler

    Equivalence Checking of Majority-based Function Mapping on ReRAM Crossbars

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, Freiburg, Germany, 2023.

  8. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

    Polynomial Formal Verification of Adder Circuits Using Answer Set Programming

    In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023.

  9. Martha Schnieber; Rolf Drechsler

    Polynomial Formal Verification of KFDD Circuits

    In: Reed-Muller Workshop (RM2023). Reed-Muller Workshop (RM-2023), May 24, Matsue City, Japan, 2023.

  10. Natalie Gdanitz; Lotfy Abdel Khaliq; Agbodzea Pascal Ahiagble; Sabine Janzen; Wolfgang Maaß

    POWOP: Weather-based Power Outage Prediction (**Best Poster Award**)

    In: IntelliSys 2023. Intelligent Systems Conference (IntelliSys-2023), September 7-8, Amsterdam, Netherlands, SAI IntelliSys, 9/2023.

Jahr

Mehr Optionen