Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 3511 bis 3520 von 14449.

  1. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    RevSCA-2.0: SCA-based Formal Verification of Non-trivial Multipliers using Reverse Engineering and Local Vanishing Removal

    In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), IEEE, 2021.

  2. Philipp Niemann; Rolf Drechsler

    Synthesis of Asymptotically Optimal Adders for Multiple-Valued Logic

    In: 51st International Symposium on Multiple-Valued Logic (ISMVL). IEEE International Symposium on Multiple-Valued Logic (ISMVL-2021), May 25-27, Nursultan/Virtual, Kazakhstan, 2021.

  3. Martha Schnieber; Saman Fröhlich; Rolf Drechsler

    Depth Optimized Synthesis of Symmetric Boolean Functions

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2021), July 7-9, Tampa/Virtual, Florida, USA, 2021.

  4. David I Adelani; Dana Ruiter; Jesujoba Alabi; Damilola Adebonojo; Adesina Ayeni; Mofe Adeyemi; Ayodele Awokoya; Cristina España-Bonet

    MENYO-20k: A Multi-domain English-Yorúbà Corpus for Machine Translation and Domain Adaptation

    In: 2nd AfricaNLP Workshop Proceedings, 2021. AfricaNLP Workshop (AfricaNLP-2021), located at EACL 2021, April 19, Virtual, ACL, 2021.

  5. Alexander Schäfer; Gerd Reis; Didier Stricker

    Controlling Teleportation-Based Locomotion in Virtual Reality with Hand Gestures: A Comparative Evaluation of Two-Handed and One-Handed Techniques

    In: Electronics, Vol. Recent Advances in Virtual Reality and Augmented Reality, No. 10, Pages 1-21, MDPI, Switzerland, 3/2021.

  6. Michael Barz; Daniel Sonntag

    Incremental Improvement of a Question Answering System by Re-ranking Answer Candidates Using Machine Learning

    In: Erik Marchi; Sabato Marco Siniscalchi; Sandro Cumani; Valerio Mario Salerno; Haizhou Li (Hrsg.). Increasing Naturalness and Flexibility in Spoken Dialogue Interaction: 10th International Workshop on Spoken Dialogue Systems. Pages 367-379, Lecture Notes in Electrical Engineering, ISBN 9789811593239, Springer, Singapore, 2021.

  7. Charlie Street; Sebastian Pütz; Manuel Mühlig; Nick Hawes; Bruno Lacerda

    Congestion-Aware Policy Synthesis for Multi-Robot Systems

    In: IEEE Transactions on Robotics (T-RO), Vol. 36, IEEE, 2021.

  8. Jan Nehring; Akhyar Ahmed

    Normalisierungsmethoden für Intent Erkennung Modularer Dialogsysteme

    In: Benjamin Weiss Stefan Hillmann (Hrsg.). Tagungsband der 32. Konferenz. Elektronische Sprachsignalverarbeitung (ESSV-2021), March 3-5, Berlin/Virtual, Germany, TUDpress, 2021.

  9. Manal Almutairi; Frederic Theodor Stahl; Max Bramer

    ReG-Rules: An Explainable Rule-based Ensemble Learner for Classification

    In: IEEE Access, Vol. 4, No. 2016, Pages 1-22, IEEE Xplore, Piscataway, New Jersey, 2/2021.

  10. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

    In: 24. Workshop 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-2021), March 18-19, München/Virtual, Germany, 2021.

Jahr

Mehr Optionen