Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 1271 bis 1280 von 15048.
  1. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Polynomial Formal Verification of a RISC-V Processor

    In: IEEE Transactions on Nanotechnology, IEEE, 2025.

  2. Context-Aware Internet-of-Things Communication via Retrieval-Augmented Generation

    In: Workshop on Next-Gen Networks through LLMs, Action Models, and Multi-Agent Systems. IEEE International Conference on Communications (ICC-2025), Communications Technologies for Good, located at ICC-2025, Montreal, Ottawa, Canada, IEEE Xplore, 2025.

  3. Queuing Theory-Based Modeling and Optimization of a Publish/Subscribe IoT Communication System

    In: IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2025), IoT and Sensor Networks Symposium, located at ICC-2025, June 8-12, Montreal, Ottawa, Canada, IEEE Xplore, 2025.

  4. IEEE (Hrsg.)

    IEEE International Conference on Communications

    IEEE International Conference on Communications (ICC-2025), Communications Technologies for Good, located at ICC-2025, June 8-12, Montreal, Ottawa, Canada, IEEE, 2025.

  5. Muhammad Umer Tariq Butt; Stalin Varanasi; Günter Neumann

    Enabling Low-Resource Language Retrieval: Establishing Baselines for Urdu MS MARCO

    In: 47th European Conference on Information Retrieval (ECIR). European Conference on Information Retrieval (ECIR-2025), April 6-10, Lucca, Italy, ECIR, 4/2025.

  6. Design Exploration für RISC-V Prozessoren zur Optimierung von Erklärbarkeit für Maschinelles Lernen

    In: 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2025), March 11-12, Rostock, Germany, Pages 61-65, VDE, 3/2025.

  7. Roberto Venditti; Nareg Minaskan Karabid; Evmorfia Biliri; Miguel Villegas; Barry Kirwan; Carl Westin; Jekaterina Basjuka; Simone Pozzi

    Construal Level Theory (CLT) for designing explanation interfaces in operational contexts

    In: Human Interaction and Emerging Technologies: Artificial Intelligence and Future Applications. International Conference on Applied Human Factors and Ergonomics (AHFE-2025), 13th International Conference on Human Interaction & Emerging Technologies: Artificial Intelligence & Future Applications, located at IHIET-AI 2025, AHFE Open Access, 3/2025.

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

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

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