Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 551 bis 560 von 14947.

  1. Daniel Stattkus; Laura Hein; Oliver Thomas

    Bildung nach Maß: Ein Ansatz zur Adaption von Lerntexten durch generative Künstliche Intelligenz

    In: HMD - Praxis der Wirtschaftsinformatik (HMD), Vol. 0, Pages 1-18, Springer, 2/2025.

  2. Shaoxiang Wang; Yaxu Xie; Chun-Peng Chang; Christen Millerdurai; Alain Pagani; Didier Stricker

    Uni-SLAM: Uncertainty-Aware Neural Implicit SLAM for Real-Time Dense Indoor Scene Reconstruction

    In: Proc. of. IEEE Winter Conference on Applications of Computer Vision (WACV-2025), IEEE/CVF, 2025.

  3. Chun-Peng Chang; Alain Pagani; Didier Stricker

    3D Spatial Understanding in MLLMs: Disambiguation and Evaluation

    In: Proc. of. IEEE International Conference on Robotics and Automation (ICRA-2025), IEEE, 2025.

  4. Sabisan Santhakumaran; Niels Benson; Elsa Andrea Kirchner

    Towards a Validation System for a THz Graphene-Based Epidermal Electronics System

    In: Proceedings of the 2025 International Conference on Mobile and Miniaturized Terahertz Systems. International Conference on Mobile and Miniaturized Terahertz Systems (ICM2TS-2025), February 23-26, Dubai, United Arab Emirates, k. A. 2/2025.

  5. Alexander Mock; Martin Magnusson; Joachim Hertzberg

    RadaRays: Real-time Simulation of Rotating FMCW Radar for Mobile Robotics via Hardware-accelerated Ray Tracing

    In: IEEE Robotics and Automation Letters (RA-L), Vol. 10, No. 3, Pages 2470-2477, IEEE Press, 3/2025.

  6. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Multi-Valued Approximate Circuits within Constant Cutwidth

    In: IEEE Transactions on Circuits and Systems I: Regular Papers, IEEE, 2025.

  7. Martha Schnieber; Rolf Drechsler

    Automated polynomial formal verification using generalized binary decision diagram patterns

    In: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, Vol. 383, No. 2288, Page 20230390, The Royal Society Publishing, 1/2025.

  8. Mohamed Nadeem; Rolf Drechsler

    Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures

    In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.

  9. Muhammad Asad Ali; Nadia Robertini; Didier Stricker

    HandMvNet: Real-Time 3D Hand Pose Estimation Using Multi-View Cross-Attention Fusion

    In: Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. International Conference on Computer Vision Theory and Applications (VISAPP-2025), February 26-28, Porto, Portugal, Vol. 2, ISBN 978-989-758-728-3, SCITEPRESS, Portugal, 2/2025.

  10. Lars-Peter Meyer; Johannes Frey; Desiree Heim; Felix Brei; Claus Stadler; Kurt Junghanns; Michael Martin

    LLM-KG-Bench 3.0: A Compass for Semantic Technology Capabilities in the Ocean of LLMs

    In: The Semantic Web. Extended Semantic Web Conference (ESWC-2025), June 1-5, Portoroz, Slovenia, Pages 280-296, Vol. 15719, ISBN 978-3-031-94578-6, Springer Nature Switzerland, Cham, 5/2025.

Jahr

Mehr Optionen