Title	Main Peak Finding for Signboard Recognition under Adverse Conditions
Author	Thi Thi Zin, Sung Shik Koh, Hiromitsu Hama
Citation	Vol. 6  No. 12  pp. 28-34
Keywords	Signboard, Uniform color region, Occlusion and reflection, Main peak finding, Template matching

Title	Diagram-Based Verification of Real-Time Systems using Timed Predicate Diagrams
Author	Cecilia E. Nugraheni
Citation	Vol. 6  No. 12  pp. 18-27
Keywords	Reactive systems, real-time systems, verification, TLA, predicate diagrams.

Title	Real-time Decision Making of Agents to Realize Decentralized Autonomous FMS by Anticipation
Author	Hidehiko Yamamoto, Rizauddin Bin Ramli
Citation	Vol. 6  No. 12  pp. 7-17
Keywords	Hypothetical reasoning, Intelligent system, Autonomous decentralized system, FMS.

Title	Multicriterion Genetic Programming for Trajectory Planning of Underwater Vehicle
Author	Jerzy Balicki
Citation	Vol. 6  No. 12  pp. 1-6
Keywords	Genetic programming, remote operating vehicle, multi-criterion optimization.