Thu, Mar 16 AM 09:30 - 10:20 |
(1) |
09:30-09:55 |
DES1-1 |
(2) |
09:55-10:20 |
DES1-2 |
|
10:20-10:30 |
Break ( 10 min. ) |
Thu, Mar 16 AM 10:30 - 11:45 |
(3) |
10:30-10:55 |
Phase Transition in Adaptive Cellular Automata with Binary Metarule |
Shigeru Ninagawa (KIT) |
(4) |
10:55-11:20 |
Analysis of Cooperative Behavior in Nursing and Caregiving Services |
Koichi Kobayashi (Hokkaido Univ.), Kunihiko Hiraishi (JAIST), Sunseong Choe (Osaka Univ. of Economics and Law), Naoshi Uchihira (JAIST) |
(5) |
11:20-11:45 |
Verification Methods of real-time properties for embedded assembly program
-- Model checking and deductive verification for embedded program -- |
Satoshi Yamane (Kanazawa Univ.) |
|
11:45-13:15 |
Lunch Break ( 90 min. ) |
Thu, Mar 16 PM 13:15 - 14:30 |
(6) |
13:15-13:40 |
DES2-1 |
(7) |
13:40-14:05 |
DES2-2 |
(8) |
14:05-14:30 |
DES2-3 |
|
14:30-14:40 |
Break ( 10 min. ) |
Thu, Mar 16 PM 14:40 - 15:55 |
(9) |
14:40-15:05 |
Topology-based Featrue Extraction from 3D Motion Gestutre |
Kazuki Nakada (Hiroshima City Univ.), Keiji Miura (Kwansei Gakuin Univ.) |
(10) |
15:05-15:30 |
On Decision of Determiner Set of Graphs |
Takafumi Goto, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
(11) |
15:30-15:55 |
Improvement of Similar Subgraph Search Method for Historical Document Image Retrieval System |
Hiroaki Kodama, Honomi Takata, Reiko Yamamoto, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) |
|
15:55-16:05 |
Break ( 10 min. ) |
Thu, Mar 16 PM 16:05 - 17:30 |
(12) |
16:05-16:10 |
|
(13) |
16:10-16:30 |
Design and Development of an Electronic Watching System and Behavior Prediction for Advanced Watching |
Arata Sashida (Univ. of the Ryukyus), Hideki Kinjo (Okinawa Univ.), Akira Sakima (Kuniken Systems), Morikazu Nakamura (Univ. of the Ryukyus) |
(14) |
16:30-16:50 |
A derivational criterion for measuring edge importance by means of leveling variables on nodes |
Kento Hamada, Eiichi takazawa, Norihiko Shinomiya (Soka Univ.) |
(15) |
16:50-17:10 |
Finding the Candidates of Attributes in Mail Words Filtered by Bayesian Method |
Nozomi Fujii, Manabu Sugii, Hiroshi Matsuno (Yamacguchi Univ.) |
(16) |
17:10-17:30 |
Language Classification Method Based on Basic Vocabulary and Language Features |
Yuya Matsuura (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior Coll.), Hiroshi Matsuno (Yamaguchi Univ.) |
Fri, Mar 17 AM 09:30 - 10:50 |
(17) |
09:30-09:50 |
Studies of Rule Induction by STRIM from the Decision Table with Missing Attribute Values |
Yuta Fukushima, Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.) |
(18) |
09:50-10:10 |
Proposal of Dominance-based Rough Set Approach for STRIM and its Applied Example |
Takahiro Itsuno, Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.) |
(19) |
10:10-10:30 |
Dependency Analysis of Transitions in Retention-Free Petri Net |
Atsushi Mizuta, Qi-Wei GE, Hiroshi Matsuno (Yamaguchi Univ.) |
(20) |
10:30-10:50 |
An Aspect-Oriented Approach to Tailor-Made Service Design |
Taku Ogawa, Muhammad Syafiq Bin Ab Malek, Shingo Yamaguchi (Yamaguchi Univ.) |
|
10:50-11:00 |
Break ( 10 min. ) |
Fri, Mar 17 AM 11:00 - 12:35 |
(21) |
11:00-11:20 |
DES3-1 |
(22) |
11:20-11:40 |
DES3-2 |
(23) |
11:40-12:00 |
DES3-3 |
(24) |
12:00-12:25 |
|
(25) |
12:25-12:35 |
|