Title	Verification of FSM using Attributes Definition of NPCs Models
Author	Chong-Han Kim, Seung-Moon Jeong, Gi-Taek Hur, Byung-Gi Kim
Citation	Vol. 6  No. 7  pp. 168-174
Keywords	NPC, FSM, Model Checking, Virtual Ocean

Title	A Hybrid Location Algorithm Based on BP Neural Networks for Mobile Position Estimation
Author	Zhao Ping, Li Ling-yan, Shi Hao-shan
Citation	Vol. 6  No. 7  pp. 162-167
Keywords

Title	A CIE Extraction System for CSL Learners
Author	Shuang Xiao, Hua Xiang, Fuji Ren, Shingo Kuroiwa
Citation	Vol. 6  No. 7  pp. 152-161
Keywords	CIE, CSL, reading support, phrase extraction

Title	TJP: A Modified Twig Join Algorithm Based on the Pri-order Labeling Scheme
Author	Ren JiaDong, Yue LiWen
Citation	Vol. 6  No. 7  pp. 144-151
Keywords	XML, twig pattern, labeling scheme, join algorithm