Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 71 bis 80 von 14533.
  1. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  2. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.

  3. A Heterogeneous Massive MIMO Technique for Uniform Service in Cellular Networks

    In: Proceedings of the IEEE International Conference on Communications. IEEE International Conference on Communications (ICC-2026), May 24-28, Glasgow, United Kingdom, IEEE, 5/2026.

  4. Donald Pfaffmann; Matthias Klusch; Marcel Steinmetz

    HyPlan: Hybrid Learning-Assisted Planning Under Uncertainty for Safe Autonomous Driving

    In: Proceedings of the 37th IEEE Intelligent Vehicles Symposium. IEEE Intelligent Vehicles Symposium (IV-2026), Detroit, MI, USA, IEEE, 2026.

  5. Agentic AI for Robot Control: Flexible but still Fragile

    In: Proceedings of the 2026 AAAI Spring Symposium Series. AAAI Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE-2026), April 7-9, San Francisco, CA, USA, AAAI Press, 2026.

  6. Tatiana Anikina; Ivan Vykopal; Sebastian Kula; Ravi Kiran Chikkala; Natalia Skachkova; Jing Yang; Veronika Solopova; Vera Schmitt; Simon Ostermann

    dfkinit2b at CheckThat! 2025: Leveraging LLMs and Ensemble of Methods for Multilingual Claim Normalization

    In: CLEF 2025 Working Notes. Conference and Labs of the Evaluation Forum (CLEF-2025), Information Access Evaluation meets Multilinguality, Multimodality, and Visualization, September 9-12, Madrid, Spain, CEUR Workshop Proceedings, 9/2025.

  7. Hamraz Javaheri; Omid Ghamarnejad; Paul Lukowicz; Gregor Alexander Stavrou; Jakob Karolus

    LLMs Enable Context-Aware Augmented Reality in Surgical Navigation

    In: ACM Designing Interactive Systems Conference (DIS) 2025. ACM Designing Interactive Systems (DIS-2025), July 5-9, ACM, 2025.

  8. Francisco José Martínez-Peral; Jorge Borrell Mendez; Dennis Mronga; José Vicente Segura-Heras; Carlos Perez-Vidal

    Trajectory planning system for bimanual robots: Achieving efficient collision-free manipulation

    In: Robotics and Autonomous Systems (RAS), Elsevier, 2025.

  9. Spectral Occlusion - Attribution Beyond Spatial Relevance Heatmaps

    In: World Conference on Explainable Artificial Intelligence. xAI: World Conference on Explainable Artificial Intelligence (xAI-2025), July 9-11, Istanbul, Turkey, Springer Nature Switzerland, Cham, Switzerland, 2025.

  10. Jakob Fabian Lehmann; Gesa Wimberg; Serge Autexier; Agni Delvinioti; Giulio Pagliari

    Exacerbation Risk and Quality of Life Prediction for Chronic Obstructive Pulmonary Disease Patients with Complex Chronic Conditions

    In: Proceedings of the IEEE EMBC 2025. International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC-2025), 47th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, July 14-17, Kopenhagen, Denmark, IEEE, 2025.