Title	Constructing the Reaching Region Graph for Timed Automata with PVS
Author	Huaikou Miao, Qingguo Xu
Citation	Vol. 6  No. 7  pp. 175-181
Keywords	Timed Automata, Clock region, Region equivalence, Reachability analysis, PVS

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