Thu, Oct 24 PM 13:00 - 14:15 |
(1) |
13:00-13:25 |
|
|
(2) |
13:25-13:50 |
Design of reconstructing a CUI tool as a service for supporting development |
Ko Miyazaki, Haruaki Tamada (Kyoto Sangyo Univ.) |
(3) |
13:50-14:15 |
|
|
|
14:15-14:30 |
Break ( 15 min. ) |
Thu, Oct 24 PM 14:30 - 15:45 |
(4) |
14:30-14:55 |
Computing Optimal Weight in Weighted Register Automata and Related Decision Problems |
Reo Yoshimura (Nagoya Univ.), Yoshiaki Takata (Kochi-tech.), Hiroyuki Seki (Nagoya Univ.) |
(5) |
14:55-15:20 |
Extending rewriting induction to existentially quantified equations |
Kazushi Nishie, Naoki Nishida, Masahiko sakai (Nagoya Univ.) |
(6) |
15:20-15:45 |
|
() |
|
15:45-16:00 |
Break ( 15 min. ) |
Thu, Oct 24 PM 16:00 - 17:30 |
(7) |
16:00-16:25 |
A Non-scan Online Test Based on Covering n-Time State Transition |
Yuki Ikegaya, Yuta Ishiyama, Toshinori Hosokawa (Nihon Univ.), Masayoshi Yoshimura (Kyoto Sangyo Univ.) |
(8) |
16:25-16:50 |
Error correction method using convolutional code in PPM compression |
Takumi Abe, Masato Kitakami (Chiba Univ.) |
(9) |
16:50-17:30 |
|
Fri, Oct 25 AM 10:00 - 11:40 |
(10) |
10:00-10:25 |
Finding groups of similar answers in programming contests with source code metrics. |
Kosuke Haraguchi, Tetsuya Kanda, Katsuro Inoue (Osaka Univ.) |
(11) |
10:25-10:50 |
|
|
(12) |
10:50-11:15 |
|
|
(13) |
11:15-11:40 |
Improvement of understandability metrics of UML Class Diagrams using word similarity |
Akihito Ihara, Shinji Uchida (NITNC) |