Hofmann, Martin
- Unleashing HyDRa: Hybrid Fusion, Depth Consistency and Radar for Unified 3D Perception
2024/03/12 by Philipp Wolters, Wolters, Philipp, Johannes Gilg +11 · 10 citations
Engineering · Computer Science · #Geophysical Methods and Applications #Robotics and Sensor-Based Localization #Target Tracking and Data Fusion in Sensor Networks
- Abstract Effects and Proof-Relevant Logical Relations
2012/12/22 by Benton, Nick, Hofmann, Martin, Nigam, Vivek · 2 citations
#D.3.3 #F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)