Skip to main content Skip to main navigation

Publications

Displaying results 71 to 80 of 5636.
  1. 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. 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 …

  4. AI Engineering for Trust by Design

    In: Francisco José Domínguez Mayo; Luís Ferreira Pires; Edwin Seidewitz (Hrsg.). Proceedings of the 12th International Conference on Model-Based …

  5. Sabisan Santhakumaran; Tobias Rossol; Elsa Andrea Kirchner

    Towards muscle sensing by a non-contact optical systemusing photogrammetry

    In: Biomedical Engineering / Biomedizinische Technik, Vol. 68, No. s1 - Abstracts of the 57th Annual Meeting of the German Society of Biomedical …

  6. Md Abdul Kadir; Md Belayet Chowdhury; Jaber AL Rashid; Shifur Rahman Shakil; Md Khalilur Rhaman

    An autonomous industrial robot for loading and unloading goods

    In: 2015 International Conference on Informatics, Electronics & Vision (ICIEV). International Conference on Informatics, Electronics & Vision …

  7. “HalloBzar”: A German chatbot for accessing the regional digital marketplace

    In: Maike Klein; Daniel Krupka; Cornelia Winter; Volker Wohlgemuth (Hrsg.). INFORMATIK 2023 - Designing Futures: Zukünfte gestalten. GI-Informatiktage …

  8. Oliver Gustke; Stefan Schaffer; Aaron Ruß

    CHIM - Chatbot in the Museum: Exploring and Explaining Museum Objects with Speech-Based AI

    In: Sonja Thiel; Johannes C. Bernhardt. AI in Museums: Reflections, Perspectives and Applications. Pages 257-264, ISBN 9783839467107, transcript …

  9. Christoph Tholen; Mattis Wolf

    On the Development of a Candidate Selection System for Automated Plastic Waste Detection Using Airborne Based Remote Sensing

    In: Max Bramer; Frederic Stahl (Hrsg.). Artificial Intelligence XL. SGAI International Conference on Artificial Intelligence (AI-2023), Cham, Pages …

  10. Fast Dynamic Walking with RH5 Humanoid Robot

    In: 2023 IEEE-RAS 22nd International Conference on Humanoid Robots (Humanoids). IEEE-RAS International Conference on Humanoid Robots (Humanoids), …