Skip to main content Skip to main navigation

Publications

Displaying results 1001 to 1010 of 14744.

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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, QC, Canada, Pages 9077-9085, Vol. 34, IJCAI Organization, 8/2025.

  8. 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.

  9. 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.

  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