( en | de | ru )

 

Disambiguation of "Wang, Qingxiang"

Author of the publication

copydeleteadd this publication to your clipboard
Automating Formalization of Mathematics with Machine Learning and Data Mining.

. CICM Workshops, volume 2634 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)

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.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylation. Uni Marburg, (2009)

Paul Wang

Lien Wang

Scheifoo Wang

 

Other publications of authors with the same name

Detection Model of Depression Based on Eye Movement Trajectory., and . DSAA, page 612-613. IEEE, (2019)On-Road Pedestrian Tracking Across Multiple Moving Cameras., , , , and . ICME, page 1-6. IEEE, (2022)Design of the workstation for hand rehabilitation based on data glove., , and . BIBM Workshops, page 769-771. IEEE, (2010)Depression Detection Based on Human Simple Kinematic Skeletal Data., and . DSAA, page 1-2. IEEE, (2022)Dep-ViT: Uncertainty Suppression Model Based on Facial Expression Recognition in Depression Patients., , , , and . ICANN (3), volume 13531 of Lecture Notes in Computer Science, page 113-124. Springer, (2022)An Exploration of Moving Robot Localization Assisted with a Static Monocular Camera., , , , and . IC-NIDC, page 6-10. IEEE, (2021)Rethinking Adjacent Dependency in Session-based Recommendations., , , , , and . CoRR, (2022)A Robust Approach for Students Detection via Multi Cameras with Mask-RCNN., , , and . CIPAE, page 24-28. ACM, (2021)Exploration of neural machine translation in autoformalization of mathematics in Mizar., , , and . CPP, page 85-98. ACM, (2020)Automating Formalization of Mathematics with Machine Learning and Data Mining.. CICM Workshops, volume 2634 of CEUR Workshop Proceedings, CEUR-WS.org, (2019)