Papers
107 papers found
Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis (Abstract Reprint)
Yujie Yang, Hanjiang Hu, Tianhao Wei et al.
Radar Instance Transformer: Reliable Moving Instance Segmentation in Sparse Radar Point Clouds (Abstract Reprint)
Matthias Zeller, Vardeep Singh Sandhu, Benedikt Mersch et al.
HiMo: High-Speed Objects Motion Compensation in Point Clouds (Abstract Reprint)
Qingwen Zhang, Ajinkya Khoche, Yi Yang et al.
HI-SLAM2: Geometry-Aware Gaussian SLAM for Fast Monocular Scene Reconstruction (Abstract Reprint)
Wei Zhang, Qing Cheng, David Skuddis et al.
TactGen: Tactile Sensory Data Generation via Zero-Shot Sim-to-Real Transfer (Abstract Reprint)
Shaohong Zhong, Alessandro Albini, Perla Maiolino et al.
CADS: A Systematic Literature Review on the Challenges of Abstractive Dialogue Summarization (Abstract Reprint)
Frederic Kirstein, Jan Philip Wahle, Bela Gipp et al.
Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint)
Patrick Rodler, Birgit Hofer, Dietmar Jannach et al.