From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Accelerating Software Model Checking Based on Program Backbone.

K. Zhou, J. Yong, X. Wang, L. Ren, G. Hou, и J. Chang. APPT, том 8299 из Lecture Notes in Computer Science, стр. 347-358. Springer, (2013)

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.

Xiaolong Wang

Wang Xiaolong

Chen Xiaolong

Xiaolong Chen

Xiaolong Mou

Другие публикации лиц с тем же именем

A clustering retrieval system of Chinese information.X. Sha, Y. Liu, M. Liu, и X. Wang. NLPKE, стр. 1-6. IEEE, (2008)Deep adaptive networks for image classification.S. Zhou, Q. Chen, и X. Wang. ICIMCS, стр. 61-64. ACM, (2010)Identifying High Quality Document-Summary Pairs through Text Matching.Y. Hou, Y. Xiang, B. Tang, Q. Chen, X. Wang, и F. Zhu. Information, 8 (2): 64 (2017)Combination of Multiple Nearest Neighbor Classifiers Based on Feature Subset Clustering Method.L. Wang, Q. Hua, X. Wang, и Q. Chen. ICMLC, том 3930 из Lecture Notes in Computer Science, стр. 538-547. Springer, (2005)Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation.Y. Sun, L. Lin, D. Tang, N. Yang, Z. Ji, и X. Wang. IJCAI, стр. 1333-1339. AAAI Press, (2015)User Recommendation Based on Network Structure in Social Networks.Y. Chen, X. Wang, B. Tang, J. Bu, и X. Xiang. ICONIP (3), том 9491 из Lecture Notes in Computer Science, стр. 488-496. Springer, (2015)Protein Remote Homology Detection Based on Binary Profiles.Q. Dong, L. Lin, и X. Wang. BIRD, том 4414 из Lecture Notes in Computer Science, стр. 212-223. Springer, (2007)M2DP: A novel 3D point cloud descriptor and its application in loop closure detection.L. He, X. Wang, и H. Zhang. IROS, стр. 231-237. IEEE, (2016)Dog breed classification via landmarks.X. Wang, V. Ly, S. Sorensen, и C. Kambhamettu. ICIP, стр. 5237-5241. IEEE, (2014)Dynamic Template Based Online Event Detection.D. Wang, Q. Chen, X. Wang, и J. Weng. ICONIP (3), том 7064 из Lecture Notes in Computer Science, стр. 158-166. Springer, (2011)