===============================================
Technical Committee on Theoretical Foundations of Computing (COMP)
Chair: Masafumi Yamashita Vice Chair: Tatsuya Akutsu
Secretary: Keisuke Tanaka, Kunihiko Sadakane
DATE:
Fri, May 20, 2005 10:15 - 17:15
PLACE:
Hakozaki Campus, Kyushu University(Dr. Hirotaka Ono. 092-642-3866)
TOPICS:
----------------------------------------
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.)
----- 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)
----- 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.)
=== Technical Committee on Theoretical Foundations of Computing (COMP) ===
# FUTURE SCHEDULE:
Fri, Jun 24, 2005: [Fri, Apr 22]
Last modified: 2005-04-04 16:25:05
|
Notification: Mail addresses are partially hidden against SPAM.
|