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	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	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	Genetic Algorithm for the Transportation Problem with Discontinuous Piecewise Linear Cost Function
Author	Su Sheng, Zhan Dechen, Xu Xiaofei
Citation	Vol. 6  No. 7  pp. 182-189
Keywords	Transportation problem, discontinuous piecewise linear cost function, genetic algorithm, spanning tree