4 papers
ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
Shuai Wang
This paper introduces ProofCloud, a proof retrieval engine for verified proofs in higher order logic. It provides a fast proof searching service for mathematicians and computer sci…
mmSpyVR: Exploiting mmWave Radar for Penetrating Obstacles to Uncover Privacy Vulnerability of Virtual Reality
Luoyu Mei, Ruofeng Liu, Zhimeng Yin +5
Virtual reality (VR), while enhancing user experiences, introduces significant privacy risks. This paper reveals a novel vulnerability in VR systems that allows attackers to captur…
FedRC: A Rapid-Converged Hierarchical Federated Learning Framework in Street Scene Semantic Understanding
Wei-Bin Kou, Qingfeng Lin, Ming Tang +3
Street Scene Semantic Understanding (denoted as TriSU) is a crucial but complex task for world-wide distributed autonomous driving (AD) vehicles (e.g., Tesla). Its inference model…
Seamless Virtual Reality with Integrated Synchronizer and Synthesizer for Autonomous Driving
He Li, Ruihua Han, Zirui Zhao +4
Virtual reality (VR) is a promising data engine for autonomous driving (AD). However, data fidelity in this paradigm is often degraded by VR inconsistency, for which the existing V…