Title	The Semi-automated DNA Computing Model for solving the Satisfiability Problem
Author	Yin Zhixiang, Cui Jianzhong, Shi Xiaohong, Pan Linqiang
Citation	Vol. 6  No. 1  pp. 163~167
Keywords	The satisfiability problem, SAT problem, DNA computing, Semi-automated equipment

Title	Video Semantic Models : Survey and Evaluation
Author	Yu Wang, Chunxiao Xing, Lizhu Zhou
Citation	Vol. 6  No. 2  pp. 10~20
Keywords	Video semantic model, evaluation

Title	Semantic Relation Based Exception Detection in Workflow Systems
Author	Li Hai-bo, Zhan De-chen, Xu Xiao-fei
Citation	Vol. 6  No. 2  pp. 160~165
Keywords	workflow, exception detection, semantic relation, data dependency rule, control rule

Title	Project Pervasive Association: Toward Acquiring Situations in Sensor Networked Environments
Author	Takeshi Okadome, Takashi Hattori, Kaoru Hiramatsu, Yutaka Yanagisawa
Citation	Vol. 6  No. 3  pp. 134-139
Keywords	real-world semantics, sensor network, situation