Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380
[TOP] | [2006] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [Japanese] / [English]
SS2007-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.)
pp. 1 - 6
SS2007-31
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.)
pp. 7 - 12
SS2007-32
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)
pp. 13 - 18
SS2007-33
A Formal Model Verification on Robot Control Software
Yoichi Omori, Yuya Inokuchi, Keijiro Araki (Kyushu Univ.)
pp. 19 - 24
SS2007-34
e-Learning SYSTEM of mastering basic English sentences
Hiromi Ban (Tokyo Future Univ.), Toru Sugata (Kanazawa Seiryo Univ.)
pp. 25 - 28
SS2007-35
A modelling of a processing in which it preserves the meaning of the affected object by it
Fumiko Kouda, Takashi Chikayama (Univ. Tokyo)
pp. 29 - 34
SS2007-36
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)
pp. 35 - 40
SS2007-37
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)
pp. 41 - 46
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.