Skip to main content Skip to main navigation

Publikationen

Zeige Ergebnisse 41 bis 50 von 1951
  1. Enhanced multifunctional interface for reconfigurability of robotic teams in planetary applications

    In: 2024 IEEE International Conference on Robotics and Automation. IEEE International Conference on Robotics and Automation (ICRA-2024), May 13-17, …

  2. SG-PGM: Partial Graph Matching Network with Semantic Geometric Fusion for 3D Scene Graph Alignment and Its Downstream Tasks

    In: Conference on Computer Vision and Pattern Recognition. International Conference on Computer Vision and Pattern Recognition (CVPR-2024), June …

  3. MiKASA: Multi-Key-Anchor & Scene-Aware Transformer for 3D Visual Grounding

    In: Proceedings of. International Conference on Computer Vision and Pattern Recognition (CVPR-2024), June 17-21, Seattle, WA, USA, IEEE/CVF, 2024.

  4. Yongliang Lin; Yongzhi Su; Praveen Annamalai Nathan; Sandeep Prudhvi Krishna Inuganti; Yan Di; Martin Sundermayer; Fabian Manhardt; Didier Stricker; Jason Raphael Rambach; Yu Zhang

    HiPose: Hierarchical Binary Surface Encoding and Correspondence Pruning for RGB-D 6DoF Object Pose Estimation

    In: IEEE/CVF (Hrsg.). Proceedings of the. International Conference on Computer Vision and Pattern Recognition (CVPR-2024), June 17-21, Seattle, …

  5. Christoph Manss; Viktor Martel; Roman Weisgerber

    Assessment of Ground Conditions in Grassland on a Mower with Artificial Intelligence

    In: Informatik in der Land-, Forst- und Ernährungswirtschaft. GIL-Jahrestagung (GIL-2024), Fokus: Biodiversität fördern durch digitale Landwirtschaft, …

  6. Agrar-Robotik meets MLOps

    In: Informatik Aktuell, Alkmene Verlag GmbH, 3/2024.

  7. Khushboo Qayyum; Sallar Ahmadi-Pour; Muhammad Hassan; Chandan Kumar Jha; Rolf Drechsler

    LLM-Assisted High Quality Invariants Generation for Formal Verification

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  8. Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

    Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

    In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and …

  9. Polynomial Formal Verification of Sequential Circuits

    In: Design, Automation & Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

  10. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Polynomial Formal Verification of Approximate Adders with Constant Cutwidth

    In: 29th IEEE European Test Symposium 2024. IEEE European Test Symposium (ETS-2024), May 20-24, The Hague, Netherlands, 2024.