no code implementations • 4 Mar 2023 • Shutao Zhang, Xinzhi Ning, Xi Zheng, Qingjiang Shi, Tsung-Hui Chang, Zhi-Quan Luo
Localized channel modeling is crucial for offline performance optimization of 5G cellular networks, but the existing channel models are for general scenarios and do not capture local geographical structures.
no code implementations • 18 Sep 2019 • Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang
Firstly, we present the notions of p-strong and w-strong equivalences between LPMLN programs.
no code implementations • 9 Sep 2019 • Bin Wang, Jun Shen, Shutao Zhang, Zhizheng Zhang
In this paper, we study the strong equivalence for LPMLN programs, which is an important tool for program rewriting and theoretical investigations in the field of logic programming.
Logic in Computer Science D.1.6