Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 31 bis 40 von 14731.

  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. Wei Jiang; Hans Dieter Schotten

    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. Jonas Schmidinger; Viacheslav Barkov; Sebastian Vogel; Martin Atzmueller; Gerard B.M. Heuvelink

    Kriging prior regression: A case for kriging-based spatial features with TabPFN in soil mapping

    In: Computers and Electronics in Agriculture, Vol. 243, Pages 1-17, Elsevier, 2026.

  6. Malte Högemann; Christian Hauff; Oliver Thomas

    Von Schatten-IT zu Schatten-KI durch ChatGPT: Herausforderungen und Handlungsempfehlungen aus deutschen Unternehmen

    In: Wirtschaftsinformatik & Management (WuM), Vol. Online first - wird nachgereicht, Pages 1-8, Springer, 2/2026.

  7. Anindita Ghosh; Vladislav Golyanik; Taku Komura; Philipp Slusallek; Christian Theobalt; Rishabh Dabral

    SceMoS: Scene-Aware 3D Human Motion Synthesis by Planning with Geometry-Grounded Tokens

    In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition. International Conference on Computer Vision and Pattern Recognition (CVPR-2026), June 3-7, Denver, Colorado, CO, USA, Computer Vision Foundation (CVF), 2026.

  8. Aheli Saha; René Schuster; Didier Stricker

    Sensor Generalization for Adaptive Sensing in Event-based Object Detection via Joint Distribution Training

    In: Proceedings of the 15th International Conference on Pattern Recognition Applications and Methods. International Conference on Pattern Recognition Applications and Methods (ICPRAM-2026), 15th International Conference on Pattern Recognition Applications and Methods, March 2-4, Marbella, Spain, Pages 113-124, ISBN 978-989-758-797-9, Scitepress, 2026.

  9. Luca Müller; Mohamed Nadeem; Rolf Drechsler

    Cutwidth Decomposition on Circuit-AIGs: Taming Verification Complexity of Arithmetic Circuits

    In: 27th International Symposium on Quality Electronic Design. International Symposium on Quality Electronic Design (ISQED-2026), April 8-10, San Francisco, USA, 2026.

  10. Aditya Ranjan Dash; Ramy Battrawy; René Schuster; Didier Stricker

    LiREC-Net: A Target-Free and Learning-Based Network for LiDAR, RGB, and Event Calibration

    In: Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). International Conference on Computer Vision and Pattern Recognition (CVPR-2026), Computer Vision and Pattern Recognition, located at IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR), June 3-7, Denver, Colorado, USA, Computer Vision Foundation (CVF) and IEEE, 2026.

Jahr

Mehr Optionen