Autor der Publikation

Accelerating Software Model Checking Based on Program Backbone.

, , , , , und . APPT, Volume 8299 von Lecture Notes in Computer Science, Seite 347-358. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Template Based Online Event Detection., , , und . ICONIP (3), Volume 7064 von Lecture Notes in Computer Science, Seite 158-166. Springer, (2011)Identifying High Quality Document-Summary Pairs through Text Matching., , , , , und . Information, 8 (2): 64 (2017)A clustering retrieval system of Chinese information., , , und . NLPKE, Seite 1-6. IEEE, (2008)Deep adaptive networks for image classification., , und . ICIMCS, Seite 61-64. ACM, (2010)User Input Classification for Chinese Question Answering System., , , , und . ICMLC (CCIS volume), Volume 481 von Communications in Computer and Information Science, Seite 52-59. Springer, (2014)User Recommendation Based on Network Structure in Social Networks., , , , und . ICONIP (3), Volume 9491 von Lecture Notes in Computer Science, Seite 488-496. Springer, (2015)Combination of Multiple Nearest Neighbor Classifiers Based on Feature Subset Clustering Method., , , und . ICMLC, Volume 3930 von Lecture Notes in Computer Science, Seite 538-547. Springer, (2005)Modeling Mention, Context and Entity with Neural Networks for Entity Disambiguation., , , , , und . IJCAI, Seite 1333-1339. AAAI Press, (2015)Accelerating Proposal Generation Network for Fast Face Detection on Mobile Devices., , , und . CoRR, (2019)Protein Remote Homology Detection Based on Binary Profiles., , und . BIRD, Volume 4414 von Lecture Notes in Computer Science, Seite 212-223. Springer, (2007)