1 code implementation • 18 Dec 2023 • Yanting Zhang, Shuanghong Wang, Qingxiang Wang, Cairong Yan, Rui Fan
Moreover, to alleviate the impact of the image style variations caused by different cameras, a color transfer module is effectively incorporated to extract cross-camera consistent appearance features for pedestrian association across moving cameras for ICT, resulting in a much improved MTMMC tracking system, which can constitute a step further towards coordinated mining of multiple moving cameras.
no code implementations • 21 Jul 2021 • Qingxiang Wang, Cezary Kaliszyk
The heterogeneous nature of the logical foundations used in different interactive proof assistant libraries has rendered discovery of similar mathematical concepts among them difficult.
no code implementations • 5 Dec 2019 • Qingxiang Wang, Chad Brown, Cezary Kaliszyk, Josef Urban
In our context informal mathematics refers to human-written mathematical sentences in the LaTeX format; and formal mathematics refers to statements in the Mizar language.
no code implementations • 10 May 2018 • Qingxiang Wang, Cezary Kaliszyk, Josef Urban
Our experiments show that our best performing model configurations are able to generate correct Mizar statements on 65. 73\% of the inference data, with the union of all models covering 79. 17\%.