Computer Science 2014 Issue 2 Survey of Software Fault Localization

Survey of Software Fault Localization
CAO He-ling;,JIANG Shujuan;,JU Xiao-lin;

..............page:1-6,14

Survey of Automated Whitebox Fuzz Testing
JIANG Rui-cheng;,LI Hai-feng;,LI Zhou-jun;,LIAO Xiang-ke;,ZHANG Ya-jun;

..............page:7-10,22

My Views of Computational Thinking
SHI Wen-chong;

..............page:11-14

Formalization of Real Binomial Coefficient in HOL4
GUAN Yong;,LI Xiao-juan;,SHI Li-kun;,SHI Zhi-ping;,YE Shi-wei;,ZHAO Chun-na;

..............page:15-18

Research on Hybrid Parallel Programming Technique Based on CMP Multi-cure Cluster
WANG Chun-xia;,WANG Jie;,WANG Wen-yi;

..............page:19-22

Review of Word Sense Induction
DI Ying;,QU Wei-guang;,SUN Yu-xia;,ZHOU Jun-sheng;

..............page:23-32,48

Coupled Object Similarity Based Item Recommendation Algorithm
CHEN Xing-guo;,GAO Yang;,YU Yong-hong;

..............page:33-35,54

Study of BoF Model Based Image Representation
LIANG Ye;,LIU Hong-zhe;,YU Jian;

..............page:36-44

Multigranulation View Based Fusing Strategy of D-S Evidence
LIANG Ji-ye;,LIN Guo-ping;,QIAN Yu-hua;

..............page:45-48

Comparison between Two Approaches of Embedding Spatial Information into Linear Discriminant Analysis
CHEN Song-can;,NIU Lu-lu;,YU Lu;

..............page:49-54

Detecting Community Structure in Bipartite Networks Based on Matrix Factorization
CHEN Bo-lun;,CHEN Ling;,XU Xiu-lian;,ZOU Sheng-rong;

..............page:55-58,101

Maximum Constrained Density One-class Classifier
CHEN Song-can;,FENG Ai-min;,PAN Zhi-song;,ZHAO Jia-min;

..............page:59-63

Multi-kernel Projective Nonnegative Matrix Factorization Algorithm
JING Li-ping;,LI Qian;,YU Jian;

..............page:64-67

Optimized Implementation of Hybrid Recommendation Algorithm
LI Peng-fei;,WU Wei-min;

..............page:68-71,98

Distance-based Kernel Evaluation Measure
CAI Dong-feng;,WANG Pei-yan;

..............page:72-75

Time Prediction for Reyes Rendering Architecture Based on AdaBoost.MH Algorithm
JIN Ying;,LV Lin;,MENG Lei;,MENG Qing-li;,MENG Xiang-xu;

..............page:76-81

Protein-protein Interaction Prediction Combining Active Learning with SVM
GUO Mao-zu;,LI Jin;,LIU Xiao-yan;,SHI Wen-li;

..............page:82-86

Face Recognition of Dual-tree Complex Wavelet Multi-frequency Within-class and Inter-class Uncertainty Fusion
CHENG Bai-liang;,WANG Ming-wen;,WANG Shi-min;,YE Ji-hua;

..............page:87-90

Method of Face Recognition Based on Principal Component Analysis and Maximum a Posteriori Probability Classification
WANG Shi-tong;,YUAN Shao-feng;

..............page:91-94

Optimality Conditions on Riemannian Manifold of Nonlinear Convex Programming
LIN Bin;,WEN Xin;,ZOU Li;

..............page:95-98

Effects of Statistical Machine Translation with Language Model of Dependency Syntax Relationship
DONG Ren-song;,WANG Hua;,YU Zheng-tao;,ZHANG Tao;,ZHANG Xiao-zhong;

..............page:99-101

zhuan jia ji yu
gao yang ;, yu jian ;

..............page:封2

Artificial Bee Colony Algorithm Based on Hybrid Rank Mapping Probability and Chaotic Search
NIU Li-ping;,WANG Xian-fang;,WEI Feng;,ZHANG Xin-ming;

..............page:102-106,144

Sample-specific Multiple Features Weighting-based High-resolution Remote Sensing Image Classification
CHANG Chun;,FENG Jun;,LI Shi-jin;,WAN Ding-sheng;

..............page:107-110

Correlated Rules Based Associative Classification for Imbalanced Datasets
HE Tian-zhong;,HUANG Zai-xiang;,ZHOU Zhong-mei;

..............page:111-113,122

Enhanced Multi-objective Evolutionary Algorithm Based on Decomposition
DONG Hong-bin;,HOU Wei;,YIN Gui-sheng;

..............page:114-118,152

Moving Object Detection Based on Adaptive Image Blocking and SSIM
TIAN Hong-jin;,ZHAN Yin-wei;

..............page:119-122

Multiple Label Approach Based on Local Correlation of Neighbors
ZHANG Hua-xiang;,ZHENG Xi-yuan;

..............page:123-126

Parallel Primal Estimated Sub-GrAdient Solver for Structural SVM
GUO Li-na;,TU Jin-jin;,YANG Ming;

..............page:127-130,135

Interactive Path-planning Method Based on Artificial Potential Field in Game Scenarios
LI Yan;,WANG Xi-zhao;,YU Shuai;,ZHAO He-ling;

..............page:131-135

EM Algorithm for Latent Regression Model
HAN Zhong-ming;,JIANG Tong-qiang;,LV Tao;,ZHANG Hui;

..............page:136-140

Analysis and Reasoning of Race Condition in Embedded System Synchronization Process
PAN You-shun;,ZHANG Jing;

..............page:141-144

Hypergraph Spectral Clustering with Sparse Representation
LIU Qing-shan;,SUN Yu-bao;,WANG Can-tian;

..............page:145-148,156

Novel Moving Object Detection Method Based on ViBe
HU Xiao-ran;,SUN Han;

..............page:149-152

Architecture Selection for Single-hidden Layer Feed-forward Neural Networks Based on Sensitivity of Node
HA Ming-guang;,SHAO Qing-yan;,WANG Xi-zhao;,ZHAI Jun-hai;

..............page:153-156

Direct Triangulation Algorithm for Three-dimensional Scattered Points
QIU Chun-li;,XU Hong-li;

..............page:157-160,173

Film Affective Classification Based on Improved Fuzzy Comprehensive Evaluation
LIN Xin-qi;

..............page:161-165,196

SMwKnn：Mutual k Nearest Neighbours Algorithm Based on Class Subspace and Distance-weighted
CHEN Li-fei;,GUO Gong-de;,LU Wei-sheng;,YAN Xuan-hui;

..............page:166-169

Plant Leaf Recognition Method Based on Fractal Dimension Feature of Outline and Venation
DU Ji-xiang;,WANG Qing-ping;,ZHAI Chuan-min;

..............page:170-173

Tags Know You Better：A New Approach to Enhancing MIR System
LIN Hong-fei;,YAN Jun;,ZHOU Li-juan;

..............page:174-178

VTD-XML Node Query Execution Performance Optimization Based on CMP
CHEN Xing-yuan;,DENG Ya-dan;,GUO Xian-yong;

..............page:179-181,190

Tracking with Pairwise Uncertainty of RSSI Based on Pairwise Sensing Uncertainty in Wireless Sensor Networks
HUANG Qi-shan;,XIE Yi;,ZHANG Hui-chuan;

..............page:182-190

Method of Computing Least No Conflict Routing Groupings in Shuffle-exchange Networks
PAN Lin;,SHEN Yue-hong;,ZHANG Yi-hao;

..............page:191-196

Network Intrusion Intelligent Detection Algorithm Based on AdaBoost
CHEN Hao;,TAN Ai-ping;,WU Bo-qiao;

..............page:197-200

Relationship Analysis of Microblogging User with Link Prediction
CHEN Yu-zhong;,FU Ying-bin;

..............page:201-205,244

Research and Application of Data Integration in Distributed Enterprise Service Bus Platform
FAN Jing;,XIONG Li-rong;,XU Cong;

..............page:206-214

Real-time Task Scheduling Strategy Based on Load Execution Urgency
CAO Zhong-hua;,CHEN Hui;,WANG Wen-le;,XIA Jia-li;

..............page:215-218,225

Research on Formal Verification of Web Interaction Model
LI Min;,LUO Hui-qiong;,TANG Chun-ling;,WANG Qiang;

..............page:219-221

Analysis and Modeling of Computer Interlocking Software Based on UML
GAO Xue-juan;,WU Xiao-chun;

..............page:222-225

Research on Argument Ontology for Computational Argumentation
GONG Yong;,HAO Zhi-yong;,LIU Bin;,YAO Li;

..............page:226-231,260

Moving Target Tracking Based on Improved Particle Filter
LI Zhi;,XIE Qiang;

..............page:232-235,252

Dependence Space Based on Two Types of Concept Lattices
BAO Yong-wei;,WANG Xia;,WU Wei-zhi;

..............page:236-239

Multiple Local Adaptive Soft Subspace Clustering Ensemble Based on Multimodal Perturbation
CAI Rui-chu;,HAO Zhi-feng;,WANG Li-juan;,WEN Wen;

..............page:240-244

Rough Set Approach to Data Completion Based on Relative Decision Entropy and Weighted Similarity
JIANG Feng;,WANG Sha-sha;,WANG Wen-peng;

..............page:245-248

Parallel Alternating Direction Algorithm with Parameters for Solving Banded Linear Systems
DUAN Zhi-jian;,LIU San-yang;,MA Xin-rong;

..............page:249-252

New Evaluation Model for Incomplete Interval-valued Information System Based on Improved Dominance Relations
SHAO Ming-wen;,WANG Bin;,WANG Jin-he;,ZHANG Jun-hu;

..............page:253-256,266

Hybrid Inversion Algorithm of Thunder Cloud Equivalent Electric Charge Based on Multi-station Atmospheric Electric Field
HUANG Yu;,XING Hong-yan;

..............page:257-260

Simulation Algorithm for 454 Pyrosequencing Sequencers
CHEN Wei;,CHENG Yong-mei;,PAN Quan;,ZHANG Shao-wu;

..............page:261-263,284

Chain Graph and their Concept Lattice Representation
LI Li-feng;

..............page:264-266

Hybrid Algorithm Based on Artificial Glowworm Swarm to Achieve Best Solution to Pharmaceutical Distribution Problem
JIN Yu-qin;,SI Jun-feng;,ZHANG Xing-de;,ZHOU Jin-hai;

..............page:267-269,301

Research on Information Extration Model for Microblog Content
LI Da-hui;,ZHENG Ying;

..............page:270-275

Design and Simulation of Passenger Flow Forecast Algorithm for Urban Rail Transit
CHEN Yong-sheng;,LI Shao-wei;

..............page:276-279

Image Feature Detection and Registration Algorithm Based on Mexican hat Function
FENG Da-zheng;,JIN Feng;

..............page:280-284

New Method for Road Extraction Based on Modified Path Opening Algorithm
CAO Guo;,WANG Shuang;

..............page:285-289

GPU-based Fast Search of Similar Patches in Images
FAN Jing;,TANG Ying;,XIAO Ting-zhe;

..............page:290-296

Face Recognition Using Simplified Pulse Coupled Neural Network
NIE Ren-can;,YAO Shao-wen;,ZHOU Dong-ming;

..............page:297-301

Chinese Sign Language Recognition Research Using SIFT-BoW and Depth Image Information
PENG Jin-ye;,YANG Quan;

..............page:302-307

Research on Gabor Wavelet Transform Feature Recognition Robustness Based on Vector of Face
PENG Hui;

..............page:308-311,316

Thangka Annotation and Retrieval Based on Headdress Features
BI Xue-hui;,LIU Hua-ming;,WANG Wei-lan;

..............page:312-316

Automatic Categorization of Traditional Chinese Paintings Based on Wavelet Transform
SHENG Jia-chuan;

..............page:317-319