Skip to main content Skip to main navigation

Publications

Displaying results 1451 to 1460 of 13867.

  1. Saravanakumar Duraisamy; Mateusz Dubiel; Maurice Rekrut; Luis A Leiva

    Transfer Learning for Covert Speech Classification Using EEG Hilbert Envelope and Temporal Fine Structure

    In: 2025 IEEE International Conference on Acoustics, Speech and Signal Processing - Conference Proceedings. International Conference on Acoustics, Speech and Signal Processing (ICASSP-2025), April 6-11, Hyderabad, India, Pages 1-5, ISBN 979-8-3503-6875-8, IEEE, 2025.

  2. Timo Eckmann; Matthias Urban; Jan-Micha Bodensohn; Carsten Binnig

    HLR-SQL: Human-Like Reasoning for Text-to-SQL

    In: Novel Optimizations for Visionary AI Systems Workshop at SIGMOD 2025. Novel Optimizations for Visionary AI Systems Workshop (NOVAS-2025), located at SIGMOD 2025, June 22, Berlin, Germany, SIGMOD, 2025.

  3. Malte Luttermann; Jan Speller; Marcel Gehrke; Tanya Braun; Ralf Möller; Mattis Hartwig

    Approximate Lifted Model Construction

    In: Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. International Joint Conference on Artificial Intelligence (IJCAI-2025), August 16-22, Montreal, Canada, IJCAI Organization, 2025.

  4. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

    Towards Proofs for SCA-based Efficient Formal Verification of Complex Arithmetic Circuits

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  5. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Maya Ambalapat; Saeideh Nabipour; Indranil Sen Gupta; Rolf Drechsler

    A Complete Synthesis and Verification Approach for MAGIC Based In-Memory Computing

    In: 2025 IEEE International Conference on Design, Test and Technology of Integrated Systems (DTTIS). International Conference on Design, Test and Technology of Integrated Systems (DTTIS-2025), 20th, October 15-17, Athens, Greece, IEEE Xplore, 2025.

  6. Dinh Nam Pham; Eleftherios Avramidis

    The Importance of Facial Features in Vision-based Sign Language Recognition: Eyes, Mouth or Full Face?

    In: ACM International Conference on Intelligent Virtual Agents (IVA Adjunct ’25). International Workshop on Sign Language Translation and Avatar Technology (SLTAT-2025), 9th International Workshop on Sign Language Translation and Avatar Technology, located at IVA-2025, September 16, Berlin, Germany, ISBN 979-8-4007-1996-7/25/09, ACM, 9/2025.

  7. Sallar Ahmadi-Pour; Sajjad Parvin; Chandan Jha; Rolf Drechsler

    FV-LIDAC: Formally Verified Library of Input Data Aware Approximate Arithmetic Circuits

    In: o.A. (Hrsg.). ACM Transactions on Design Automation of Electronic Systems (TODAES), Vol. 30, ACM, 2025.

  8. Alexander Michael Rombach; Peter Fettke

    Deep Learning Based Key Information Extraction from Business Documents: Systematic Literature Review

    In: ACM Computing Surveys (CSUR), Vol. 58, No. 2, Pages 1-37, Association for Computing Machinery, New York, NY, USA, 2025.

  9. Judith Bütefür; Mathias Trampler; Elsa Andrea Kirchner

    Technical Test of a Dry Electrode Headset for EEG Measurement Under Microgravity

    In: Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), located at BIOSTEC 2024, Rom, Italy, ISBN 978-3-031-96899-0, Springer, Cham, 8/2025.

  10. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    ForMAt: Formal Verification of Scalable Multiply and Accumulate Units

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL), September 10-12, St. Goar, Germany, 2025.

Year

More options