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 81 bis 90 von 676
  1. 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 …

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

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

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

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

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

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

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

  9. The Effect of Surrounding Scenery Complexity on the Transfer of Control Time in Highly Automated Driving

    In: Proceedings of the 26th International Conference on Intelligent User Interfaces. International Conference on Intelligent User Interfaces …

  10. Md Mahmud Uz Zaman; Stefan Schaffer; Tatjana Scheffler

    Factoid and Open-Ended Question Answering with BERT in the Museum Domain

    In: Proceedings of the Conference on Digital Curation Technologies. Conference on Digital Curation Technologies (QURATOR-2021), February 8-12, …