Title	Propositional Extension Rule with Reduction
Author	Xia Wu, Jigui Sun, Shuai Lv, Minghao Yin
Citation	Vol. 6  No. 1  pp. 190~195
Keywords	Extension rule, theorem proving, satisfiability, reduction

Title	Multi-noise removal for images in wireless networks
Author	Xu Huang
Citation	Vol. 6  No. 1  pp. 181~189
Keywords	Image multi-noise removal, wireless networks, Bayesian estimator, wavelet, Nakagami fading channels

Title	Integrated Operation of Image Capturing and Processing in FPGA
Author	Chi-Jeng Chang, Pei-Yung Hsiao, Zen-Yi Huang
Citation	Vol. 6  No. 1  pp. 173~180
Keywords	CMOS image sensor, Digital image processing, FPGA, image capturing

Title	Logic of Integrating Metric Space and Time
Author	Xie Qi, Liu Dayou, Yu Qiangyuan, Yu Haibo
Citation	Vol. 6  No. 1  pp. 168~172
Keywords	Temporal logic, metric space, distance, spatio-temporal reasoning