Advances in Smart Systems Research

Advances in Smart Systems Research
Publisher: Future Technology Publications Vol. 1: 2011 ISBN: 0000-0000 Date: 01-Jan-12
CONTENTS
Towards Agents-Based Model Checking Norihiro Kamide	1 - 6
Extracting User's Interest based on Social Bookmark Tags Junki Saito, Takahashi Yukawa	7 - 12
Comparative Search by Using Technologies to Extract Superior Targets from Comparison Sentences Yeong Hyeon Gu, Seong Joon Yoo	13 - 18
Towards a Logical Foundation for Bioinformatics Based on Semantic Web Based Scientific Reasoning Ross D. King	19 - 23
An Awareness of Japanese Crew in the EMS Helicopter on Organizational Management Natsuko Sano, Haruka Matsumoto, Hidehiko Hayashi, Akinori Minazuki	24 - 30
A Study of the Efficiency of the Hybridization of a Particle Swarm Optimizer and Tabu Search Nadia Smairi, Sadok Bouamama, Khaled Ghedira, Patrick Siarry	31 - 37
The First Step for E-learning by Combination of Handheld Device and Course Management System Hideyuki Kanematsu, Kiyotaka Atsumi, Tatsuya Shirai, Shigehiro Ishihara	38 - 44