3 papers
cs.LO2026
When do modal definability and preservation theorems transfer to the finite?
Johan van Benthem, Balder ten Cate, Xi Yang
We study which classic modal definability and preservation results survive when attention is restricted to finite structures, where many first-order transfer theorems are known to…
cs.CV2025
Lightweight RGB-D Salient Object Detection from a Speed-Accuracy Tradeoff Perspective
Songsong Duan, Xi Yang, Nannan Wang +1
Current RGB-D methods usually leverage large-scale backbones to improve accuracy but sacrifice efficiency. Meanwhile, several existing lightweight methods are difficult to achieve…
cs.CV2024
SA3DIP: Segment Any 3D Instance with Potential 3D Priors
Xi Yang, Xu Gu, Xingyilang Yin +1
The proliferation of 2D foundation models has sparked research into adapting them for open-world 3D instance segmentation. Recent methods introduce a paradigm that leverages superp…