Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 521 bis 530 von 14699.
  1. 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.

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

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

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

  5. Spatio-Temporal Diffusion Model for Satellite Imagery

    In: Proceedings of The Eleventh International Conference on Remote Sensing and Geoinformation of Environment (RSCy). Workshop in Artificial Intelligence Applications in Earth Observation and Geoinformatics, located at RSCy 2025, March 19, Paphos, Cyprus, SPIE, 2025.

  6. Desiree Heim; Lars-Peter Meyer; Markus Schröder; Johannes Frey; Andreas Dengel

    How do Scaling Laws Apply to Knowledge Graph Engineering Tasks? The Impact of Model Size on Large Language Model Performance

    In: Proceeding of the Workshop on Evaluation of Language Models in Knowledge Engineering co-located with the 22th Extended Semantic Conference. Extended Semantic Web Conference (ESWC-2025), 2nd Workshop on Evaluation of Language Models in Knowledge Engineering, located at ESWC 2025, June 1-5, Portoroz, Slovenia, CEUR Workshop Proceedings, 2025.

  7. Towards Auto-Generated Ground Truth for Evaluation of Perception Systems in Agriculture

    In: Alessio Del Bue; Cristian Canton; Jordi Pont-Tuset; Tatiana Tommasi (Hrsg.). Computer Vision - ECCV 2024 Workshops. Computer Vision in Plant Phenotyping and Agriculture (CVPPA-2024), 9th Computer Vision in Plant Phenotyping and Agriculture, located at 18th European Conference on Computer Vision ECCV 2024, September 29 - October 4, Milano, Italy, Pages 194-206, Lecture Notes in Computer Science (LNCS), Vol. 15625, ISBN 978-3-031-91835-3, Springer, Cham, 5/2025.

  8. Reverse Probing: Evaluating Knowledge Transfer via Finetuned Task Embeddings for Coreference Resolution

    In: Proceedings of the 10th Workshop on Representation Learning for NLP. ACL Workshop on Representation Learning for NLP (RepL4NLP-2025), located at NAACL-2025, May 4, Albuquerque, New Mexico, Pages 1ß8-119, .. 2025.

  9. i-QLS: Quantum-Supported Algorithm for Least Squares Optimization in Non-Linear Regression

    In: - (Hrsg.). Proc. 25th International Conference on Computational Science. International Conference on Computational Science (ICCS-2025), 25th International Conference on Computational Science (ICCS), Springer, 2025.

  10. Sebastian Germer; Christiane Rudolph; Alexander Katalinic; Natalie Rath; Katharina Rausch; Heinz Handels

    Lung Cancer Survival Estimation Using Data from Seven German Cancer Registries

    In: Elisavet Andrikopoulou; Parisis Gallos; Theodoros N. Arvanitis; Rosalynn Austin; Arriel Benis; Ronald Cornet; Panagiotis Chatzistergos; Alexander Dejaco; Linda Dusseljee-Peute; Alaa Mohasseb; Pantelis Natsiavas; Haythem Nakkas; Philip Scott (Hrsg.). Intelligent Health Systems – From Technology to Data and Knowledge. Medical Informatics Europe Congress (MIE-2025), Intelligent Health Systems – From Technology to Data and Knowledge, May 19-21, Glasgow, United Kingdom, Pages 457-461, Studies in Health Technology and Informatics, Vol. 327, IOS Press, 5/2025.