Author of the publication

Formal Modeling and Correctness Proof of Spatial Partition Algorithm.

, , , , and . CSDM Asia / CSDM, page 479. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Robust subspace clustering network with dual-domain regularization., , , , , and . Pattern Recognit. Lett., (2021)Effect of Noise-Enhanced on the Balance Control Ability in Older Adults., , , , , , and . HCI (12), volume 4561 of Lecture Notes in Computer Science, page 483-489. Springer, (2007)Formal Modeling and Correctness Proof of Spatial Partition Algorithm., , , , and . CSDM Asia / CSDM, page 479. Springer, (2021)Robust Dynamic Background Modeling for Foreground Estimation., , , , , and . VCIP, page 1-5. IEEE, (2022)Anti-Ramsey numbers for vertex-disjoint triangles., , , and . Discret. Math., 346 (1): 113123 (2023)An efficient numerical method for the valuation of American multi-asset options., , , and . Comput. Appl. Math., (2020)The Minimization of QoS Deviation in Grid Environment., , , and . GCC, volume 3795 of Lecture Notes in Computer Science, page 226-231. Springer, (2005)A Novel Parallel Reduced Support Vector Machine., , and . ICNC (1), volume 3610 of Lecture Notes in Computer Science, page 608-618. Springer, (2005)Learning Degradation Uncertainty for Unsupervised Real-world Image Super-resolution., , , , , and . IJCAI, page 1261-1267. ijcai.org, (2022)Least Squares Support Vector Machine on Gaussian Wavelet Kernel Function Set., and . ISNN (1), volume 3971 of Lecture Notes in Computer Science, page 936-941. Springer, (2006)