Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 13716.
  1. 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.

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

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

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

  5. Preserving and Improving Verifiability of Circuits Based on Local Transformations

    In: 26th IEEE Latin American Test Symposium 2025. IEEE Latin American Test Symposium (LATS-2025), March 11-14, San Andres, Colombia, 2025.

  6. ESCADE: Energy-efficient Artificial Intelligence for Cost-effective and Sustainable Data Centers

    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.

  7. Jan Kleinekathöfer; Alireza Mahzoon; Rolf Drechsler

    Lower bound proof for the size of BDDs representing a shifted addition

    In: Information Processing Letters, Vol. 24, Pages 140-151, IEEE, 2025.

  8. Bernhard J. Berger; Christina Plump; Rolf Drechsler

    Why less is sometimes more: Using Boolean literals to solve 2048

    In: IT - information technology (IT), Vol. 66, Pages 4-5, De Gruyter Brill, 2025.

  9. Lennart Weingarten; Kamalika Datta; Sallar Ahmadi-Pour; Abhoy Kole; Rolf Drechsler

    Ensuring Correctness Efficiently for RISC-V Processors with Customised Multiplier Designs

    In: Design and Verification of Cyber-Physical Systems: From Theory to Applications, Science Direct, 2025.

  10. Sabine Janzen; Hannah Stein; Lotfy Abdel Khaliq; Florian Hergert; Wolfgang Maaß

    Designing Decision Support Systems for Rural Mobility Enhancement

    In: Proceedings of the 30th International Conference on Exploring Modeling Methods for Systems Analysis and Development (EMMSAD). International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD-2025), located at CAiSE 2025, Vienna, Austria, 6/2025.