Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 121 bis 130 von 14744.
  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. DriverGaze360: OmniDirectional Driver Attention with Object-Level Guidance

    In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). International Conference on Computer Vision and Pattern Recognition (CVPR), June 3-7, Denver, Colorado, United States Minor Outlying Islands, IEEE, 2026.

  6. LIEREx: Language-Image Embeddings for Robotic Exploration

    In: Lars Kunze (Hrsg.). KI - Künstliche Intelligenz, German Journal on Artificial Intelligence - Organ des Fachbereiches "Künstliche Intelligenz" der Gesellschaft für Informatik e.V. (KI), Vol. 01, Pages 1-7, Springer, 1/2026.

  7. Huy M. Le; Ba Dat Nguyen; Ngan T. T. Vo; Tuan D. Q. Nguyen; Nguyen Binh Le; Ho Minh Duy Nguyen; Daniel Sonntag; Lizi Liao; Binh T. Nguyen

    Reinforce Trustworthiness in Multimodal Emotional Support System

    In: The 40th Annual AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-2026), January 20-27, Singapore, AAAI Press, 2026.

  8. PoseAdapt: Sustainable Human Pose Estimation via Continual Learning Benchmarks and Toolkit

    In: Proceedings of the Winter Conference on Applications of Computer Vision (WACV). IEEE Winter Conference on Applications of Computer Vision (WACV-2026), March 6-10, Tucson, AZ, USA, IEEE, 2/2026.