| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Software Science (SS) Chair: Toshiki Sakabe (Nagoya Univ.) Vice Chair: Tsuneo Ajisaka (Wakayama Univ.) Secretary: Katsuhiko Gondow (Tokyo Inst. of Tech.), Keiichirou Kusakari (Nagoya Univ.) DATE: Mon, Oct 22, 2007 14:00 - 16:45 Tue, Oct 23, 2007 09:40 - 11:55 PLACE: Miyagi University(http://www.myu.ac.jp/guide/gu06.html. Prof. Togashi) TOPICS: general ---------------------------------------- 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.) ----- 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) ----- 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) # Information for speakers General Talk will have 20 minutes for presentation and 10 minutes for discussion. === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Mon, Dec 17, 2007 - Tue, Dec 18, 2007: Shimane Univ. [Mon, Oct 22], Topics: general # SECRETARY: KUSAKARI Keiichirou (Nagoya University) TEL 052-789-3973 FAX 052-789-3801 E-mail:      is    -u # ANNOUNCEMENT: # Latest information will be presented on the homepage http://www.sakabe.i.is.nagoya-u.ac.jp/ss/ Last modified: 2007-10-05 13:41:16 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to SS Schedule Page] /
| Go Top | Go Back | Prev SS Conf / Next SS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]