Lian is a next-generation, high-precision program analysis framework designed for multi-language environments. It aims to deliver unified and powerful program analysis capabilities across diverse ...

Abstract: Exploiting the correlation between multimodal data to generate tactile data has become a preferred approach to enhance tactile rendering fidelity. Nevertheless, existing studies have often ...

Abstract: Existing algorithms for the flight string scheduling problem often fall short due to their NP-hard nature and difficulties with local optima. To enhance efficiency, we propose a two-stage ...