Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 111 bis 120 von 727
  1. 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 …

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

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

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

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

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

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

  8. Sara Khan; Mehmed Yüksel; Andre Ferreira

    ASIMS: Acceleration Spectrograms Based Intelligent Mobility System for Vehicle Damage Detection

    In: Proceedings of the 9th International Conference on Vehicle Technology and Intelligent Transport Systems VEHITS. International Conference on …

  9. Green AutoML for Plastic Litter Detection

    In: ICLR 2023 Workshop on Tackling Climate Change with Machine Learning. International Conference on Learning Representations (ICLR), None, 2023.