Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 41 to 50 of 676.
  1. 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.

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

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

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

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

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

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

  8. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

    Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion

    In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop …

  9. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

    VP-based DIFT for Embedded Binaries: A RISC-V Case Study

    In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop …

  10. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing

    In: 58th Design Automation Conference (DAC). Design Automation Conference (DAC-2021), December 5-9, San Francisco, CA, USA, 2021.