|
Chair |
|
Masafumi Yamashita |
Vice Chair |
|
Tatsuya Akutsu |
Secretary |
|
Keisuke Tanaka, Kunihiko Sadakane |
|
Conference Date |
Fri, May 20, 2005 10:15 - 17:15 |
Topics |
|
Conference Place |
Hakozaki Campus, Kyushu University |
Contact Person |
Dr. Hirotaka Ono
092-642-3866 |
Fri, May 20 AM 10:15 - 17:15 |
(1) |
10:15-10:50 |
Effient Indexing and Updating of Text Databases |
Takamoto Goto, Hirotaka Ono, Kunihiko Sadakane, Masafumi Yamashita (Kyushu Univ.) |
(2) |
10:50-11:25 |
Hardness of Pickup and Delivery for Moving Objects on Broken Lines |
Yuichi Asahiro (Kyushu Sangyo Univ.), Eiji Miyano, Shinichi Shimoirisa (Kyushu Inst. of Tech.) |
(3) |
11:25-12:00 |
Hardness and an Approximation Algorithm for Minimum Certificate Dispersal Problems |
Hua Zheng, Shingo Omura, Koichi Wada (Nagoya Inst. of Tech.) |
|
12:00-13:30 |
Lunch Break ( 90 min. ) |
(4) |
13:30-14:05 |
Recognition of Tree-Shellable Boolean Functions with Restrictions to the Number of the Same Literal |
Nao Katougi, Yasuhiko Takenaga (UEC) |
(5) |
14:05-14:40 |
VSOP: Valued-Sum-Of-Products Calculator Based on Zero-Suppressed BDDs |
Shin-ichi Minato (Hokkaido Univ.) |
(6) |
14:40-15:15 |
PUYOPUYO is NP-Complete |
Hidetoshi Muta (Univ. of Tokyo) |
|
15:15-15:30 |
Break ( 15 min. ) |
(7) |
15:30-16:05 |
Improving a local search approximation algorithm for the stable marriage problem |
Naoya Yamauchi, Shuichi Miyazaki, Kazuo Iwama (Kyoto Univ.) |
(8) |
16:05-16:40 |
Constant Time Generation of Linear Extensions |
Akimitsu Ono, Shin-ichi Nakano (Gunma Univ.) |
(9) |
16:40-17:15 |
Experimental Evaluation of Automata-Based Extended Regular Expression Matching Algorithms |
Hiroaki Yamamoto (Shinshu Univ.) |
Contact Address and Latest Schedule Information |
COMP |
Technical Committee on Theoretical Foundations of Computing (COMP) [Latest Schedule]
|
Contact Address |
|
Last modified: 2005-04-04 16:25:05
|