..............page:897-902
..............page:903-909
..............page:910-915
..............page:916-921
..............page:922-927
..............page:928-933
..............page:934-938
..............page:939-942
..............page:943-948
..............page:949-953
..............page:954-958
..............page:959-963
..............page:964-970
..............page:971-975
..............page:976-980
..............page:981-985
Multi-receiver Signcryption Scheme Based on Multilinear Maps
YU Zhi-min;JING Zheng-jun;GU Chun-sheng;School of Computer Engineering;Jiangsu University of Technology;Key Laboratory of Cloud Computing and Intelligent Information Processing of Changzhou City;College of Computer;Nanjing University of Posts and Telecommunications;
..............page:986-989
..............page:990-995
..............page:996-1001
Formal Verification of One-dimensional Array Programs
HAN Ya-hui;CHEN Yi-yun;LI Zhao-peng;Department of Computer Science and Technology;University of Science and Technology of China;Software Security Laboratory;Suzhou Institute for Advanced Study;University of Science and Technology of China;
..............page:1002-1006
..............page:1007-1011
..............page:1012-1016
..............page:1017-1020
..............page:1021-1023
..............page:1024-1027
..............page:1028-1032
..............page:1033-1036
..............page:1037-1041
Algorithm of Depth Neural Network Training Based on Multi-GPU
GU Nai-jie;ZHAO Zeng;LV Ya-fei;ZHANG Zhi-jiang;School of Computer Science and Technology;University of Science and Technology of China;University of Science and Technology of China & Shenyang Institute of Computing Technology Network and Communication Joint Laboratory;Anhui USTC i FLYTEK Co.;Ltd.;
..............page:1042-1046
..............page:1047-1051
..............page:1052-1055
..............page:1056-1058
..............page:1059-1063
..............page:1064-1068
..............page:1069-1072
..............page:1073-1077
..............page:1078-1081
..............page:1082-1084
..............page:1085-1090
..............page:1091-1097
Using Poselet and Scene Information for Action Recognition in Still Images
LEI Qing;LI Shao-zi;CHEN Duan-sheng;College of Computer Science and Technology;Huaqiao University;Cognitive Science Department;Xiamen University;Fujian Provincial Key Laboratory of Data Intensive Computing;Key Laboratory of Intelligent Computing and Information Processing;Fujian Province University;
..............page:1098-1103
..............page:1104-1108
..............page:1109-1112
..............page:1113-1116
..............page:1117-1121
..............page:1122-1126
..............page:1127-1132
..............page:1133-1137
..............page:1138-1141
..............page:1142-1147
..............page:1148-1152