2 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…