Mon, Oct 22 PM
14:00 - 16:45 |
| (1) |
14:00-14:30 |
Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees |
Tomohiro Mizutani, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) |
| (2) |
14:30-15:00 |
Temporal Extension in Semantic Web |
Atsushi Togashi (Miyagi Univ.), Junya Yumoto (NEC Software Ltd.) |
| |
15:00-15:15 |
Break ( 15 min. ) |
| (3) |
15:15-15:45 |
A Design Rationale Elicitation Method Using Rational Decision Making to Resolve The Lack of Expression Power about QOC's Relative Weight |
Yusuke Kobayashi, Atsuo Hazeyama (Tokyo Gakugei Univ.) |
| (4) |
15:45-16:15 |
Behavior Verification for Embedded Systems Focusing on System Contexts |
Hirotoshi Kanagawa, Toshiki Seto, Susumu Taniguchi, Jyun Yoshida, Naoyasu Ubayashi (KIT), Takeshi Sumi, Masayuki Hirayama (TOSHIBA) |
| (5) |
16:15-16:45 |
A Formal Model Verification on Robot Control Software |
Yoichi Omori, Yuya Inokuchi, Keijiro Araki (Kyushu Univ.) |
Tue, Oct 23 AM
09:40 - 11:55 |
| (6) |
09:40-10:10 |
e-Learning SYSTEM of mastering basic English sentences |
Hiromi Ban (Tokyo Future Univ.), Toru Sugata (Kanazawa Seiryo Univ.) |
| (7) |
10:10-10:40 |
A modelling of a processing in which it preserves the meaning of the affected object by it |
Fumiko Kouda, Takashi Chikayama (Univ. Tokyo) |
| |
10:40-10:55 |
Break ( 15 min. ) |
| (8) |
10:55-11:25 |
Analysis of fault density by association rule mining using cross-company data |
Junya Debari, Osamu Mizuno, Tohru Kikuno (Osaka Univ.), Nahomi Kikuchi, Masayuki Hirayama (IPA) |
| (9) |
11:25-11:55 |
A Method for Activity Prediction using Cluster Analysis on Email Thereads |
Kimiharu Ohkura, Yoji Onishi, Shinji Kawaguchi, Masao Ohira, Hajimu Iida, Ken-ichi Matsumoto (NAIST) |
: 
is
-u