http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Automatic Interference of Loop Invariant Shape Graphs for Binary Tree Program
Li, Yun-long; Luo, Qi-ming; Chen, Yi-yun GAI-KAN BIAJIBU 2017 p.913-918
Software Product Line Evolution Driven by Source Code Changes
Zhang, Wei; Wu, Yi-jian; Shen, Li-wei GAI-KAN BIAJIBU 2017 p.919-924
Research on Assertion Language with Logic Variables Introduced
Li, Wei-sheng; Luo, Qi-ming; Chen, Yi-yun GAI-KAN BIAJIBU 2017 p.925-929
Separated Metadata Based Greedy Prefetching Data Restore in Deduplication Environment
Yang, Ru; Deng, Yu-hui; Wei, Wen-guo GAI-KAN BIAJIBU 2017 p.930-935
Formal Verification of Stack Pointer Programs
Feng, Feng; Luo, Qi-ming; Chen, Yi-yun GAI-KAN BIAJIBU 2017 p.936-940
Compression Strategy of Large Scale Trajectory Data Based on MapReduce Architecture
Yao, Nan; Peng, Dun-lu GAI-KAN BIAJIBU 2017 p.941-945
Group Recommendation Approach for Social Follow Relationship
Gu, Peng; Li, Lin; Su, Chang GAI-KAN BIAJIBU 2017 p.946-950
Collaborative Filtering Recommendation Algorithm Combined with User Trust
Li, Liang; Dong, Yu-xin; Zhao, Chun-hui GAI-KAN BIAJIBU 2017 p.951-955
Sequential Pattern Mining with Wildcards and Non-overlapping Condition
Xie, Fei; Qiang, Ji-peng GAI-KAN BIAJIBU 2017 p.956-960
SVM Collaborative Filtering Top-N Recommendation Algorithm Based on Positive and Negative Feedback
Zhang, Yu; Wang, Wen-jian; Zhao, Shen-gnan GAI-KAN BIAJIBU 2017 p.961-966