Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 131 bis 140 von 13866.
  1. 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, Pages 3-17, Lecture Notes in Computer Science (LNCS), Springer, 2025.

  2. 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), Pages 236-251, Lecture Notes in Computer Science, Vol. 15662, Springer, 2025.

  3. Claudia Hauff; Craig Macdonald; Dietmar Jannach; Gabriella Kazai; Franco Maria Nardini; Fabio Pinelli; Fabrizio Silvestri; Nicola Tonellotto (Hrsg.)

    Advances in Information Retrieval: 47th European Conference on Information Retrieval

    European Conference on Information Retrieval (ECIR-2025), 47th European Conference on Information Retrieval, located at ECIR, April 6-10, Lucca, Italy, Italy, Lecture Notes in Computer Science (LNCS), Vol. 15575, ISBN 978-3-031-88717-8, Springer, Springer Cham, 4/2025.

  4. Abhoy Kole; Mohammed E. Djeridane; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking

    In: ACM Journal on Emerging Technologies in Computing Systems, ACM, 2025.

  5. FedAvgen: Metadata for Model Aggregation In Communication Systems

    In: 11th IEEE NetSoft 2025 Proceedings. Open Source 6G Networks for Connecting the Unconnected Workshop (Open6GNet-2025), IEEE NetSoft 2025, June 23, Budapest, Hungary, IEEE, 6/2025.

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

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

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

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