Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 441 bis 450 von 14520.
  1. Jonathan Nußbaum; Tatjana Legler; Martin Ruskowski

    CPPM Copilot: Proposing an AI-Based Assistant for Manual Assembly Tasks in a Flexible Production

    In: Kosmas Alexopoulos; Sotiris Makris; Panagiotis Stavropoulos (Hrsg.). Advances in Artificial Intelligence in Manufacturing II. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2024), Cham, Pages 80-88, ISBN 978-3-031-86489-6, Springer Nature Switzerland, 2025.

  2. Multifaceted Applications of Federated Learning: Beyond Neural Networks

    In: Kosmas Alexopoulos; Sotiris Makris; Panagiotis Stavropoulos (Hrsg.). Advances in Artificial Intelligence in Manufacturing II. European Symposium on Artificial Intelligence in Manufacturing (ESAIM-2024), Cham, Pages 271-278, ISBN 978-3-031-86489-6, Springer Nature Switzerland, 2025.

  3. Case-Based Activity Detection from Segmented Internet of Things Data

    In: Case-Based Reasoning Research and Development - 33rd International Conference, ICCBR 2025, Biarritz, France, June 30 - July 3rd, 2025, Proceedings. International Conference on Case-Based Reasoning (ICCBR-2025), 33rd International Conference on Case-Based Reasoning, June 30 - July 3, Biarritz, France, Pages 438-453, Lecture Notes in Computer Science (LNCS), Springer, 2025.

  4. Nabeel Khalid; Mohammadmahdi Koochali; Khola Naseem; Gillian Lovel; Daniel A Porto; Biana Migliori; Johan Trygg; Andreas Dengel; Sheraz Ahmed

    Box it and Track it: A Weakly Supervised Framework for Cell Tracking

    In: DAGM German Conference on Pattern Recognition, Freiburg. Annual Symposium of the German Association for Pattern Recognition (DAGM-2025), September 24-26, Freiburg, Germany, Springer Nature, 2025.

  5. Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin

    Probabilistic Programming for Trace Generation (and Beyond)

    In: Joint Proceedings of the Workshops at the 46th International Conference on Application and Theory of Petri Nets and Concurrency: Petri Nets and Software Engineering (PNSE'25), Algorithms & Theories for the Analysis of Event Data (ATAED’25), and. Algorithms & Theories for the Analysis of Event Data (ATAED-2025), located at Petri Nets 2025, June 24, Paris, France, Pages 160-165, Vol. 3998, CEUR-WS.org, 6/2025.

  6. Jan Kleinekathöfer; Rolf Drechsler

    Automatic Polynomial Formal Verification of a Floating Point Multiplier

    In: 28th Euromicro Conference Series on Digital System Design (DSD). Euromicro Conference on Digital System Design (DSD-2025), September 10-12, Salerno, Italy, 2025.

  7. Oscar Lima; Marc Vinci; Sunandita Patra; Sebastian Stock; Joachim Hertzberg; Martin Atzmüller; Malik Ghallab; Dana Nau; Paolo Traverso

    Acting and Planning with Hierarchical Operational Models on a Mobile Robot: A Study with RAE+UPOM

    In: Proceedings of the 12th European Conference on Mobile Robots (ECMR 2025). European Conference on Mobile Robots (ECMR-2025), located at ECMR-2025, September 3-5, University of Padua, Padua, Italy, Pages 1-6, ISBN 979-8-3315-2705-1, IEEE, Piscataway, NJ, USA, 9/2025.

  8. KI in der Rehabilitation: Anwendung künstlicher mentaler Modelle für eine personalisierte Medizin

    In: Bundesgesundheitsblatt - Gesundheitsforschung - Gesundheitsschutz, Vol. 68, No. 8, Pages 1-9, Springer Nature, 8/2025.

  9. Advancing Biomedical Claim Verification by Using Large Language Models with Better Structured Prompting Strategies

    In: Proceedings of the 23rd Workshop on Biomedical Natural Language Processing. Workshop on Biomedical Natural Language Processing (BioNLP-2025), located at ACL 2025, August 1, Vienna, Austria, ACL Anthology, 2025.