Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 21 bis 30 von 8843.
  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. 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. Juan Trujillo; Ana Lavalle; Alejandro Reina-Reina; Jorge García-Carrasco; Alejandro Maté; Wolfgang Maaß

    An integrated requirements framework for analytical and AI projects

    In: Data & Knowledge Engineering (DKE), Vol. 161, Page 102493, Elsevier, 2026.

  7. Chandan Jha; Sallar Ahmadi-Pour; Sajjad Parvin; Rolf Drechsler

    DIVIAC: Library of Input Data Aware Approximate Dividers with Partial Exact Minimization

    In: 39th International Conference On VLSI Design. International Conference on VLSI Design (VLSID-2026), January 3-7, Pune, India, 2026.

  8. Julen Urain; Ajay Mandlekar; Yilun Du; Nur Muhammad (Mahi) Shafiullah; Danfei Xu; Katerina Fragkiadaki; Georgia Chalvatzaki; Jan Peters

    A Survey on Deep Generative Models for Robot Learning From Multimodal Demonstrations

    In: IEEE Transactions on Robotics and Automation, Vol. 42, Pages 60-79, ArXiv, 2026.

  9. Khang Nguyen; An T. Le; Jan Peters; Minh Nhat Vu

    DoublyAware: Dual Planning and Policy Awareness for Temporal Difference Learning in Humanoid Locomotion

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 11, No. 2, Pages 2162-2169, ArXiv, 2026.

  10. Timo Eckmann; Carsten Binnig

    A Vision for Autonomous Data Agent Collaboration: From Query-by-Integration to Query-by-Collaboration

    In: 16th Conference on Innovative Data Systems Research, CIDR 2026, Chaminade, CA, USA, January 18-21, 2026. Conference on Innovative Data Systems Research (CIDR), Pages 1-7, www.cidrdb.org, 2026.