( en | de | ru )

 

Disambiguation of "Ji, Xiaohui"

Author of the publication

copydeleteadd this publication to your clipboard
An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints.

, and . WETICE, page 324-329. IEEE Computer Society, (2012)

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.

Xiaohui Liu

Xiaohui Xiao

Xiaohui Hu

Xiaohui Yuan

Xiaohui Tang

 

Other publications of authors with the same name

Parallelization of the streamline simulation based on CUDA., , and . HP3C, page 8-12. ACM, (2019)HDAC High-Dimensional Data Aggregation Control Algorithm for Big Data in Wireless Sensor Networks., and . Int. J. Inf. Technol. Web Eng., 12 (4): 72-86 (2017)Hyperspectral Data Analysis based on Integrated Deep Learning., , , , and . Int. J. Perform. Eng., 16 (8): 1225-1234 (2020)A Survey on Occluded Face recognition., , , and . ICNCC, page 40-49. ACM, (2020)Parallelization of groundwater flow simulation on multiple GPUs., , and . HP3C, page 50-54. ACM, (2019)CloudSimSDN: Modeling and Simulation of Software-Defined Cloud Data Centers., , , , , and . CCGRID, page 475-484. IEEE Computer Society, (2015)Design and Characterization of Ferrite Magnetic Nanoparticle Modified Polymeric Composites., , , , , , and . EIT, page 1-4. IEEE, (2019)Stable Training of Bellman Error in Reinforcement Learning., , , and . ICONIP (5), volume 1333 of Communications in Computer and Information Science, page 439-448. Springer, (2020)An Efficient Lazy SMT Solver for Nonlinear Numerical Constraints., and . WETICE, page 324-329. IEEE Computer Society, (2012)Chinese named entity recognition in power domain based on Bi-LSTM-CRF., , , , , , , and . AIPR, page 176-180. ACM, (2019)