| 445 | -- | 452 | Yingwei Yan, Yu Du, Wenan Zhou. Study on the local path planning for intelligent vehicles based on an improved VFH method |
| 453 | -- | 469 | Salim Djaaboub, Elhillali Kerkouche, Allaoua Chaoui. Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach |
| 470 | -- | 483 | Yunn-Lin Hwang, Thi-Na Ta, Kun-Nan Chen. Using zero moment point preview control formulation to generate nonlinear trajectories of walking patterns on humanoid robots |
| 484 | -- | 493 | Xuehui Wu, Xiaobo Lu, Xue Han, Chunxue Liu. An adaptive denoising method for colour images of mobile phone based on bivariate shrinkage function |
| 494 | -- | 502 | Mohammad Fraiwan, Ahmad Alsaleem, Hashem Abandeh, Omar Aljarrah. A system for application development using aerial robots |
| 503 | -- | 517 | Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi, Brij B. Gupta. Petri net-based verification of security protocol implementation in software evolution |
| 518 | -- | 525 | Jieren Cheng, Boyi Liu, Xiangyan Tang, Zhuhua Hu, Jianping Yin. Traffic flow detection method based on vertical virtual road induction line |
| 526 | -- | 536 | Yali Chen, Kaixin Ren, Naijie Gu. Router-shared-pair mesh: a reconfigurable fault-tolerant network-on-chip architecture |
| 537 | -- | 545 | Mahmoud Naghibzadeh. Handling startling circumstances with IRM scheduler of real-time systems |