Skip to main content Skip to main navigation

Publications

Displaying results 881 to 890 of 13867.

  1. Caroline Dominik; Rolf Drechsler

    Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  2. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.

  3. Mattis Hartwig; Robert Simon Schiff; Sebastian Wolfrum; Ralf Möller

    Aggregating Predicted Individual Hospital Length of Stay to Predict Bed Occupancy for Hospitals

    In: Proceedings of the 17th International Joint Conference on Biomedical Engineering Systems and Technologies. International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC-2024), February 21-23, Rome, Italy, Pages 175-184, Vol. 2, ISBN 978-989-758-688-0, SciTePress, 2024.

  4. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  5. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.

  6. Philipp Müller; Michal Balazia; Tobias Baur; Michael Dietz; Alexander Heimerl; Dominik Schiller; Mohammed Guermal; Dominike Thomas; François Brémond; Jan Alexandersson; others

    MultiMediate'23: Engagement Estimation and Bodily Behaviour Recognition in Social Interactions

    In: Proceedings of the 31st ACM International Conference on Multimedia. ACM International Conference on Multimedia (ACM MM-2023), Pages 9640-9645, ACM, 2023.

  7. Ahmed Amer; Chirag Bhuvaneshwara; Gowtham K Addluri; Mohammed M Shaik; Vedant Bonde; Philipp Müller

    Backchannel Detection and Agreement Estimation from Video with Transformer Networks

    In: Proceedings of the IEEE International Joint Conference on Neural Networks. International Joint Conference on Neural Networks (IJCNN-2023), IEEE, 2023.

  8. Daksitha Senel Withanage Don; Philipp Müller; Fabrizio Nunnari; Elisabeth André; Patrick Gebhard

    ReNeLiB: Real-time Neural Listening Behavior Generation for Socially Interactive Agents

    In: Proceedings of the 25th International Conference on Multimodal Interaction. ACM International Conference on Multimodal Interaction (ICMI-2023), Pages 507-516, ACM, 2023.

  9. Andreas Luxenburger; Jonas Mohr; Dieter Merkel; Sönke Knoch; Daniel Porta; Christian Paul; Johannes Widenka; Philipp Schäfers; Markus Baumann; Stefan Lehnhoff; Joachim Schwab

    Interactive Digital Twins for Online Planning and Worker Safety in Intralogistics and Production

    In: Proceedings of the 6th IEEE International Conference on Artificial Intelligence & extended and Virtual Reality. IEEE International Conference on Artificial Intelligence and Extended and Virtual Reality (AIxVR-2024), January 17-19, Los Angeles, USA, IEEE Computer Society Press, 2024.

  10. Andreas Emrich; Oliver Gutermuth; Michael Frey; Peter Fettke; Peter Loos

    Towards a Model Factory Experimentation Environment for Cyber-Physical Twins

    In: Tung Bui (Hrsg.). Proceedings of the 57th Hawaiian International Conference on Systems Science. Hawaii International Conference on System Sciences (HICSS-57), January 3-6, University of Hawai'i, Manoa, HI, USA, 1/2024.

Year

More options