Skip to main content Skip to main navigation

Publications

Displaying results 1941 to 1950 of 14895.

  1. Tim Polzehl; Tim Herzig; Friedrich Wicke; Kathleen Wermke; Razieh Khamsehashari; Michiko Dahlem; Sebastian Möller

    Towards Classifying Mother Tongue from Infant Cries - Findings Substantiating Prenatal Learning Theory

    In: Interspeech 2024. Conference in the Annual Series of Interspeech Events (INTERSPEECH-2024), September 1-5, Kos, Greece, Pages 4199-4203, ISCA, 2024.

  2. Julian Wolter; Niko Kleer; Michael Feld

    StepDP: A Step Towards Expressive and Pervasive Dialogue Platforms

    In: Elmar Nöth; Alevs Horák; Petr Sojka (Hrsg.). 27th International Conference, TSD 2024, Brno, Czech Republic, September 9–13, 2024. International Conference on Text, Speech and Dialogue (TSD-2024), Brno, Czech Republic, Pages 300-312, ISBN 978-3-031-70566-3, Springer International Publishing, Switzerland, 9/2024.

  3. Daniel Stattkus; Lorena Göritz; Katharina-Maria Illgen; Jan Heinrich Beinke; Oliver Thomas

    A Blueprint for Breaking Stereotypes: Design Principles for Conversational Agents to Empower Girls in Computer Science Education

    In: PACIS 2024 Proceedings. Pacific Asia Conference on Information Systems (PACIS-2024), July 1-5, Ho Chi Minh City, Viet Nam, AIS, 2024.

  4. Arnab Das; Carlos Franzreb; Tim Herzig; Philipp Pirlet; Tim Polzehl

    Comparing Speech Anonymization Efficacy by Voice Conversion Using KNN and Disentangled Speaker Feature Representations

    In: Isca Archive. Symposium on Security and Privacy in Speech Communication (SPSC-2024), Voice Privacy Challenge (VPC), ISCA, 2024.

  5. Arnab Das; Carlos Franzreb; Suhita Ghosh; Tim Polzehl; Sebastian Möller

    Speecher: Towards Privacy Ensuring Decoder Only Speech Reconstruction Through Disentanglement for German Speech Anonymization Using Any-to-Many Voice Conversion

    In: ISCA Archive. Symposium on Security and Privacy in Speech Communication (SPSC-2024), located at SPSC, ISCA, 9/2024.

  6. Mohamed Nadeem; Chandan Kumar Jha; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  7. Ruidi Qiu; Grace Li Zhang; Rolf Drechsler; Ulf Schlichtmann; Bing Li

    CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  8. Rune Krauss; Jan Zielasko; Rolf Drechsler

    FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  9. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Correct and Verify - CAV: Exploiting Binary Decision Diagrams to Enable Formal Verification of Approximate Adders with Correct Carry Bits

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2024.

  10. Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

    Extend and Reduce Methodology to Enable Formal Verification of Truncated Adders

    In: IT - information technology (IT), Degruyter, 2024.

Year

More options