1000-9825
2016 Issue 9
..............page:封3
Local Search Algorithm for Solving #SMT Problem
ZHOU Jun-Ping;,LI Rui-Zhi;,ZENG Zhi-Yong;,YIN Ming-Hao;
ZHOU Jun-Ping;,LI Rui-Zhi;,ZENG Zhi-Yong;,YIN Ming-Hao;
..............page:2185-2198
Dynamic Real-Time Algorithm for Multi-Intersection Route Selection in Urban Traffic Networks
YAN Li-Ping;,HU Wen-Bin;,WANG Huan;,QIU Zhen-Yu;,DU Bo;
YAN Li-Ping;,HU Wen-Bin;,WANG Huan;,QIU Zhen-Yu;,DU Bo;
..............page:2199-2217
Quasi-Physical Algorithm Based on Action Space for Solving the Circles Packing Problem with Equilibrium Constraints
HE Kum;,YANG Chen-Kai;,HUANG Meng-Long;,HUANG Wen-Qi;
HE Kum;,YANG Chen-Kai;,HUANG Meng-Long;,HUANG Wen-Qi;
..............page:2218-2229
Review of Self-Organizing Incremental Neural Network
QIU Tian-Yu;,SHEN Fu-Rao;,ZHAO Jin-Xi;
QIU Tian-Yu;,SHEN Fu-Rao;,ZHAO Jin-Xi;
..............page:2230-2247
Fast Learning Algorithm for Stochastic Blockmodel
ZHAO Xue-Hua;,YANG Bo;,CHEN He-Chang;
ZHAO Xue-Hua;,YANG Bo;,CHEN He-Chang;
..............page:2248-2264
Maximum Steiner Connected k-Core Query Processing Based on Graph Compression
LI Ming-Peng;,GAO Hong;,ZOU Zhao-Nian;
LI Ming-Peng;,GAO Hong;,ZOU Zhao-Nian;
..............page:2265-2277
kNN Query Processing Approach for Content with Location and Time Tags
LI Chen;,SHEN De-Rong;,ZHU Ming-Dong;,KOU Yue;,NIE Tie-Zheng;,YU Ge;
LI Chen;,SHEN De-Rong;,ZHU Ming-Dong;,KOU Yue;,NIE Tie-Zheng;,YU Ge;
..............page:2278-2289
Temporal XML Index Based on Temporal Partial-Order Relationship
TANG Na;,YE Xiao-Ping;,TANG Yong;,PENG Peng;,DU Meng-Yuan;
TANG Na;,YE Xiao-Ping;,TANG Yong;,PENG Peng;,DU Meng-Yuan;
..............page:2290-2302
Entity Resolution Oriented Clustering Algorithm
SUN Chen-Chen;,SHEN De-Rong;,KOU Yue;,NIE Tie-Zheng;,YU Ge;
SUN Chen-Chen;,SHEN De-Rong;,KOU Yue;,NIE Tie-Zheng;,YU Ge;
..............page:2303-2319
Rare Category Detection Algorithm Based on k-Nearest Neighbor Graphs
WANG Song;,HUANG Hao;,YU Guo;,LIANG Nan;,WANG Li-Wei;,SUN Yue-Ming;
WANG Song;,HUANG Hao;,YU Guo;,LIANG Nan;,WANG Li-Wei;,SUN Yue-Ming;
..............page:2320-2331
Order-Sensitive Missing Value Imputation Technology for Multi-Source Sensory Data
MA Qian;,GU Yu;,LI Fang-Fang;,YU Ge;
MA Qian;,GU Yu;,LI Fang-Fang;,YU Ge;
..............page:2332-2347
Lightweight Domain Name Detection Algorithm Based on Morpheme Features
ZHANG Wei-Wei;,GONG Jian;,LIU Qian;,LIU Shang-Dong;,HU Xiao-Yan;
ZHANG Wei-Wei;,GONG Jian;,LIU Qian;,LIU Shang-Dong;,HU Xiao-Yan;
..............page:2348-2364
Signal Packing Algorithm for In-Vehicle CAN in Internet of Vehicles
XIE Yong;,LIANG Wei;,LI Ren-Fa;,WU Ke-Shou;,HONG Chao-Qun;
XIE Yong;,LIANG Wei;,LI Ren-Fa;,WU Ke-Shou;,HONG Chao-Qun;
..............page:2365-2376
Distributed Storage Scheme Using Bipartite Graph Matching for Vehicular Networks
TANG Xiao-Lan;,HONG Dong-Hui;,CHEN Wen-Long;,PU Ju-Hua;
TANG Xiao-Lan;,HONG Dong-Hui;,CHEN Wen-Long;,PU Ju-Hua;
..............page:2377-2388
Efficient Three-Party Password-Based Authenticated Key Exchange Protocol in the Standard Model
WEI Fu-Shan;,MA Jian-Feng;,LI Guang-Song;,MA Chuan-Gui;
WEI Fu-Shan;,MA Jian-Feng;,LI Guang-Song;,MA Chuan-Gui;
..............page:2389-2399
Provable Data Possession System for Realistic Cloud Storage Environments
XIAO Da;,YANG Lü-Yin;,SUN Bin;,ZHENG Shi-Hui;
XIAO Da;,YANG Lü-Yin;,SUN Bin;,ZHENG Shi-Hui;
..............page:2400-2413
Model and Algorithm of Energy-Efficiency Aware Scheduling for Green Heterogeneous Computing
WANG Jing-Lian;,GONG Bin;,LIU Hong;,LI Shao-Hui;
WANG Jing-Lian;,GONG Bin;,LIU Hong;,LI Shao-Hui;
..............page:2414-2425
Basic-Block Based Instruction Prefetching Technology for Real-Time System
WANG En-Dong;,NI Fan;,CHEN Ji-Cheng;,WANG Hong-Wei;,TANG Shi-Bin;
WANG En-Dong;,NI Fan;,CHEN Ji-Cheng;,WANG Hong-Wei;,TANG Shi-Bin;
..............page:2426-2442
Kernel Integrity Measurement Method Based on Memory Forensic
CHEN Zhi-Feng;,LI Qing-Bao;,ZHANG Ping;,WANG Wei;
CHEN Zhi-Feng;,LI Qing-Bao;,ZHANG Ping;,WANG Wei;
..............page:2443-2458