Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 861 bis 870 von 14764.

  1. Shiyi Ma; Wenbo Zhang; Jian Zhao; Mingzhe Wu; Yuxin Xia; Xinyue Zhang; Yuxuan Li; Hongzan Sun; Marcin Grzegorzek; Chen Li; Rui Zhao

    A Machine Vision and Integrated Sensors-Based Portable Forensic Field Inspection Device

    In: Peng You; Yuhui Zheng (Hrsg.). Proceedings of International Conference on Image, Vision and Intelligent Systems 2024 (ICIVIS 2024). Pages 453-469, ISBN 978-981-96-2431-7, Springer Nature, 7/2025.

  2. Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Securing Circuits Against Optical Probing Attack

    In: University Fair Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), Lyon, France, 2025.

  3. Christoph Lüth; Tim Güneysu; Pascal Sasdrich; Rolf Drechsler

    EMBOSOM | Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms

    In: Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), Lyon, France, 2025.

  4. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 11-12, Rostock, Germany, 2025.

  5. Pixi Kang; Julian Moosmann; Mengxi Liu; Bo Zhou; Michele Magno; Paul Lukowicz; Sizhen Bian

    Bridging Generalization and Personalization in Human Activity Recognition via On-Device Few-Shot Learning

    In: MobileHCI '25: Proceedings of the 27th International Conference on Mobile Human-Computer Interaction. ACM International Conference on Mobile Human-Computer Interaction (MobileHCI-2025), ACM, 9/2025.

  6. Luis Octavio Arriaga Camargo; Rebecca Adam; Melvin Laux; Lisa Gutzeit; Marco Ragni; Jan Peters; Frank Kirchner

    Bayesian Inverse Physics for Neuro-Symbolic Robot Learning

    In: Leilani Gilpin; Eleonora Giunchiglia; Pascal Hitzler; Emile van Krieken (Hrsg.). Neurosymbolic Artificial Intelligence, Pages 1-19, IOS Press, 2025.

  7. Philipp Richard; Alexis T. Bernhard; Andreas Luxenburger; Henning Gösling; Achim Wagner

    Agent-based Initialization of Autonomous Mobile Robots: Leveraging the Asset Administration Shell for automated Commissioning

    In: 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). IEEE International Conference on Emerging Technologies and Factory Automation (ETFA-2025), September 9-12, Porto, Portugal, IEEE, 2025.

  8. Aliki Anagnostopoulou; Sara-Jane Bittner; Lavanya Govindaraju; Hasan Md Tusfiqur Alam; Daniel Sonntag

    Personalised and Contextualised Image Captioning: Human-in-the-Loop Design and Evaluation

    In: Mensch und Computer 2025 - Workshopband. Mensch und Computer (MuC-2025), MCI-WS04: ABIS 2025 - International Workshop on Personalization and Recommendation, August 31 - September 3, Chemnitz, Germany, Gesellschaft für Informatik e.V. 2025.

  9. Aliki Anagnostopoulou; Sara-Jane Bittner; Lavanya Govindaraju; Hasan Md Tusfiqur Alam; Daniel Sonntag

    CUTIE: A human-in-the-loop interface for the generation of personalised and contextualised image captions

    In: Mensch und Computer 2025 - Workshopband. Mensch und Computer (MuC-2025), MCI-WS04: ABIS 2025 - International Workshop on Personalization and Recommendation, August 31 - September 3, Chemnitz, Germany, Gesellschaft für Informatik e.V. 9/2025.

  10. Luca Müller; Rolf Drechsler

    Polynomial formal verification parameterized by cutwidth properties of a circuit using Boolean satisfiability

    In: Microprocessors and Microsystems (MICPRO), Vol. 118, Elsevier, 2025.

Jahr

Mehr Optionen