Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 81 to 90 of 801.
  1. Arne Hasselbring; Andreas Baude

    Soccer Field Boundary Detection Using Convolutional Neural Networks

    In: Rachid Alami; Joydeep Biswas; Maya Cakmak; Oliver Obst (Hrsg.). RoboCup 2021: Robot World Cup XXIV. RoboCup International Symposium …

  2. Philip Reichenberg; Thomas Röfer

    Step Adjustment for a Robust Humanoid Walk

    In: Rachid Alami; Joydeep Biswas; Maya Cakmak; Oliver Obst (Hrsg.). RoboCup 2021: Robot World Cup XXIV. RoboCup International Symposium …

  3. Lukas Stefan Stäcker; Philipp Heidenreich; Jason Raphael Rambach; Didier Stricker

    Fusion Point Pruning for Optimized 2D Object Detection with Radar-Camera Fusion

    In: 2022 Proceedings of the. IEEE Winter Conference on Applications of Computer Vision (WACV-2022), January 4-8, Hawaii, HI, USA, IEEE, 2022.

  4. Fatemeh Azimi; Sebastian Palacio; Federico Raue; Jörn Hees; Luca Bertinetto; Andreas Dengel

    Self-supervised Test-time Adaptation on Video Data

    In: WACV. IEEE Winter Conference on Applications of Computer Vision (WACV-2022), January 4-8, IEEE, 1/2022.

  5. Contract-based Data-sharing for AI-based Decision Making on the Web

    In: 55th Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2022), January 4-7, Hawaii, …

  6. Requirements for Data Valuation Methods

    In: 55th Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2022), January 4-7, Hawaii, …

  7. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    Automated Detection of Spatial Memory Safety Violations for Constrained Devices

    In: 27th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC), January 17-20, …

  8. Henrik Kortum-Landwehr; Jonas Rebstadt; Oliver Thomas

    Dissection of AI Job Advertisements: A Text Mining-based Analysis of Employee Skills in the Disciplines Computer Vision and Natural Language Processing

    In: Proceedings of the 55th Hawaii International Conference on System Sciences. Hawaii International Conference on System Sciences (HICSS-2022), …

  9. Alireza Mahzoon; Daniel Große; Christoph Scholl; Alexander Konrad; Rolf Drechsler

    Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability

    In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC), July 10-14, San Francisco, USA, 2022.

  10. Rolf Drechsler; Alireza Mahzoon; Mehran Goli

    Towards Polynomial Formal Verification of Complex Arithmetic Circuits

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