..............page:1101-1104+1121
..............page:1105-1110
..............page:1111-1116
..............page:1117-1121
..............page:1122-1126
..............page:1127-1130
..............page:1131-1135
..............page:1136-1140+1153
..............page:1141-1146
Formal Design and Verification of Business Processes
DING Ming;ZHANG Shu-ling;ZHANG Chen;School of Information and Technology;Northwest University;Xi’an Aeronautics Computing Technique Research Institute AVIC;School of Computer Science and Technology;Xidian University;
..............page:1147-1153
Opinion Targets Extraction with a Three-Level Filter
NIU Zhen-dong;LIU Sha;School of Computer Science and Technology;Beijing Institute of Technology;Beijing Engineering Research Center of Massive Language Information Processing and Cloud Computing Application;
..............page:1154-1159
..............page:1160-1165
..............page:1166-1170+1199
..............page:1171-1176
..............page:1177-1182
..............page:1183-1187
..............page:1188-1193
..............page:1194-1199
..............page:1200-1204
..............page:1205-1210