Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1721 bis 1730 von 13748.

  1. Mohamed Selim; Pablo López de Uralde; Jon Mata; Eider Gorostegui-Colinas; Beatriz Chicote; Alain Pagani; Didier Stricker

    Vision-Based Ladle Monitoring System for Steel Factories

    In: Proceedings of the 1st European Symposium on Artificial Intelligence in Manufacturing. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2023), September 19, Kaiserslautern, Germany, 2023.

  2. Felix Theusch; Lukas Seemann; Achim Guldner; Stefan Naumann; Ralph Bergmann

    Towards Machine Learning-based Digital Twins in Cyber-Physical Systems

    In: Gianfranco Lombardo; Marco Picone; Diego Reforgiato Recupero; Giuseppe Vizzari (Hrsg.). Proceedings of The First Workshop on AI for Digital Twins and Cyber-Physical Applications (AI4DT&CP). IJCAI Workshop on AI for Digital Twins and Cyber-Physical Applications (AI4DT&CP-2023), located at IJCAI International Joint Conference on Artificial Intelligence 2023, August 19, Macao, Macao, CEUR, 2023.

  3. Vemburaj Yadav; Alain Pagani; Didier Stricker

    Camera-based position analysis system for cyclists ordering in bicycle swarms

    In: Workshop on Smart Urban Micromobility. Mensch und Computer (MuC-2023), September 3-6, Zürich, Switzerland, ACM, 2023.

  4. Sana Hassan Imam; Christopher Metz; Lars Hornuf; Rolf Drechsler

    Classifying Crowdsouring Platform Users’ Engagement Behaviour using Machine Learning and XAI

    In: UCAI 2023: Workshop on User-Centered Artificial Intelligence. Workshop on User-Centered Artificial Intelligence (UCAI-2023), located at Mensch und Computer 2023, September 3, Rapperswil, Switzerland, GI, 2023.

  5. Mohamed Nadeem; Jan Kleinekathöfer; Rolf Drechsler

    Polynomial Formal Verification exploiting Constant Cutwidth

    In: 34th International Workshop on Rapid System Prototyping (RSP). International Symposium on Rapid System Protoyping (RSP-2023), September 21, Hamburg, Germany, 2023.

  6. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    RC-IJTAG: A Methodology for Designing Remotely-Controlled IEEE 1687 Scan Networks

    In: 36th IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT). IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT-2023), October 3-5, Juan-Les-Pins, France, 2023.

  7. Weiyan Zhang; Mehran Goli; Muhammad Hassan; Rolf Drechsler

    Efficient ML-Based Performance Estimation Approach across Different Microarchitectures for RISC-V Processors

    In: Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2023), September 6-8, Durres, Albania, 2023.

  8. Kousik Bhunia; Arighna Deb; Kamalika Datta; Muhammad Hassan; Saeideh Shirinzadeh; Rolf Drechsler

    ReSG: A Data Structure for Verification of Majority based In-Memory Computing on ReRAM Crossbars

    In: ACM Transactions on Embedded Computing Systems (TECS), ACM, 2023.

  9. Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

    Toward System-Level Assertions for Heterogeneous Systems

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.

  10. Marcel Merten; Mohammed E. Djeridane; Sebastian Huhn; Rolf Drechsler

    SAT-Based Key Determination Attack for Improving the Quality Assessment of Logic Locking Mechanisms

    In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 83-94, Springer, 2023.

Jahr

Mehr Optionen