Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 14864.
  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. Mohamed Karim Belaid; Maximilian Rabus; Eyke Hüllermeier

    Uncertainty Quantification in Pairwise Difference Learning for Classification

    In: Machine Learning, Vol. 115, No. 1, Pages 12-12, Springer, 2026.

  4. Anja Henke; Jason M Harley; Negar Matin; Johann Chevalère; Verena V Hafner; Niels Pinkwart; Rebecca Lazarides

    Multimodal perspectives on affective dynamics in an intelligent tutoring system

    In: Learning and Instruction, Vol. 103, Pergamon, 1/2026.

  5. Rezaul Tutul; Ilona Buchem; André Jakob; Niels Pinkwart

    Evaluating Intrinsic Motivation in Robot-Supported Quiz-Based Learning: A Comparative Study of Verbal-Only and Multimodal Feedback with Sound Input

    In: Acta Informatica Pragensia, Vol. 15, No. 1, Pages 109-125, Prague University of Economics and Business, 1/2026.

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

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

  8. Martha Schnieber; Rolf Drechsler

    Path Delay Fault Testable KFDD Circuits with Polynomial Test Pattern Generation

    In: 31st IEEE European Test Symposium. IEEE European Test Symposium (ETS-2026), May 25-29, Chania, Greece, IEEE, 2026.

  9. TinyIceNet: Low-Power SAR Sea Ice Segmentation for On-Board FPGA Inference

    In: Proceedings of the 2026 Computer Vision Conference (CVC). Computer Vision Conference (CVC-2026), May 21-22, Amsterdam, Netherlands, Springer, 2026.

  10. Rajai Alhimdiat; Ramy Battrawy; René Schuster; Didier Stricker; Wesam Ashour

    SF3D-RGB: Scene Flow Estimation from Monocular Camera and Sparse LiDAR

    In: Proceedings of the 2026 Computer Vision Conference (CVC). Computer Vision Conference (CVC-2026), May 21-22, Amsterdam, Netherlands, Springer, 5/2026.