Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 13706.

  1. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A, The Royal Society Publishing, 2025.

  2. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

  3. Ralph Bergmann; Florian Brand; Mirko Lenz; Lukas Malburg

    EXAR: A Unified Experience-Grounded Agentic Reasoning Architecture

    In: Isabelle Bichindaritz; Beatriz Lopez (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR-2025), Cham, France, Lecture Notes in Computer Science (LNCS), Springer, 2025.

  4. Maxim Hotz; Lukas Malburg; Ralph Bergmann

    Advanced Search Techniques for Determining Optimal Sequences of Adaptation Rules in Process-Oriented Case-Based Reasoning

    In: Isabelle Bichindaritz; Beatriz Lopez (Hrsg.). Case-Based Reasoning Research and Development - 33rd International Conference, ICCBR 2025, Biarritz, France, June 30 - July 3, 2025, Proceedings. International Conference on Case-Based Reasoning (ICCBR-2025), Lecture Notes in Computer Science, Springer, 2025.

  5. Théo Vincent; Fabian Wahren; Jan Peters; Boris Belousov; Carlo D'Eramo

    Adaptive Q-Network: On-the-fly Target Selection for Deep Reinforcement Learning

    In: International Conference on Learning Representations. International Conference on Learning Representations (ICLR-2025), ICLR, 2025.

  6. Matthias Tschöpe; Stefan Gerd Fritsch; Vitor Fortes Rey; Niranjan Narendra Nandurkar; Sarah Trevenna; Eloise Monger; Paul Lukowicz

    NEEDLE: Nurse Education Enhanced by Vision-based Deep Learning Evaluation

    In: 2025 7th International Conference on Activity and Behavior Computing (ABC). International Conference on Activity and Behavior Computing (ABC), April 21-25, Abu Dhabi, Abu Dhabi, United Arab Emirates, Pages 1-10, IEEE Xplore, 2025.

  7. Guillermo Jimenez-Diaz; Mirko Lenz; Lukas Malburg; Belen Diaz-Agudo; Ralph Bergmann

    A Framework for Supporting the Iterative Design of CBR Applications

    In: Isabelle Bichindaritz; Beatriz Lopez (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR-2025), Biarritz, France, Lecture Notes in Computer Science (LNCS), Springer, Cham, 2025.

  8. Mirko Lenz; Maximilian Hoffmann; Ralph Bergmann

    LLsiM: Large Language Models for Similarity Assessment in Case-Based Reasoning

    In: Isabelle Bichindaritz; Beatriz Lopez (Hrsg.). Case-Based Reasoning Research and Development. International Conference on Case-Based Reasoning (ICCBR-2025), Biarritz, France, Lecture Notes in Computer Science (LNCS), Springer Nature Switzerland, Cham, 2025.

  9. Federico Cruciani; Stefan Gerd Fritsch; Ian Cleland; Vitor Fortes Rey; Chris Nugent; Paul Lukowicz

    Few-Shot Human Activity Recognition Using Lightweight Language Models

    In: 2025 International Conference on Activity and Behavior Computing (ABC). International Conference on Activity and Behavior Computing (ABC-2025), 7th International Conference on Activity and Behavior Computing, April 21-25, Abu Dhabi, United Arab Emirates, IEEE, 2025.

  10. Sabine Janzen; Prajvi Saxena; Cicy Agnes; Muhammad Ebad Ullah Khan; Amr Gomaa; Michael Feld; André Zenner; Pascal Lessel; Julian Wolter; Florian Daiber; Rafael Math; Niko Kleer; Tim Schwartz; Antonio Krüger; Wolfgang Maaß

    FEDWELL: Life-Long Federated User and Mental Modeling for Health and Well-being

    In: RPEatCAiSE25: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering, June 16-20, 2025, Vienna, Austria. International Conference on Advanced Information Systems Engineering (CAiSE-2025), 6/2025.

Jahr

Mehr Optionen