| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev COMP Conf / Next COMP Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Theoretical Foundations of Computing (COMP) Chair: Osamu Watanabe Vice Chair: Hiroki Arimura Secretary: Takeshi Koshiba, Shuichi Miyazaki DATE: Tue, Oct 17, 2006 09:00 - 16:50 PLACE: School of Engineering, Tohoku University(Aoba, Aramaki, Aoba-ku, SENDAI 980-8578 / 980-8579. Eiji Takimoto. 022-795-7148) TOPICS: ---------------------------------------- Tue, Oct 17 AM (09:00 - 16:50) ---------------------------------------- (1) 09:00 - 09:35 Convex Grid Drawings of Plane Graphs with Rectangular Contours Akira Kamada (Tohoku Univ.), Kazuyuki Miura (Fukushima Univ.), Takao Nishizeki (Tohoku Univ.) (2) 09:35 - 10:10 Open Rectangle-of-Influence Drawings of Inner Triangulated Plane Graphs Kazuyuki Miura (Fukushima Univ.), Tetsuya Matsuno, Takao Nishizeki (Tohoku Univ.) ----- Break ( 15 min. ) ----- (3) 10:25 - 11:00 Approximability of Partitioning Graphs with Supply and Demand Takehiro Ito (Tohoku Univ.), Erik D.Demaine (MIT), Xiao Zhou, Takao Nishizeki (Tohoku Univ.) (4) 11:00 - 11:35 Efficient Algorithms for Airline problem Ryuhei Uehara (JAIST) (5) 11:35 - 12:10 Byzantine Agreement on the Order of Processing Received Requests is Solvable Deterministically in Asynchronous Systems Junya Nakamura (Toyohashi Univ. of Tech.), Tadashi Araragi (NTT), Shigeru Masuyama (Toyohashi Univ. of Tech.) ----- Lunch Break ( 90 min. ) ----- (6) 13:40 - 14:15 On the Generative Power of Multiple Context-Free Grammars and Macro Grammars Hiroyuki Seki, Yuki Kato (NAIST) (7) 14:15 - 14:50 The Number of Possible Weave Patterns in Case of Using Long-Eye Heald Isamu Matsuura, Masayoshi Andoh (AITEC), Tomio Hirata (Nagoya Univ.) (8) 14:50 - 15:25 A Randomness Based Analysis on the Data Size Needed for Generating Reliable Rules Kazuya Haraguchi (Kyoto Univ.), Mutsunori Yagiura (Nagoya Univ.), Endre Boros (Rutgers Univ.), Toshihide Ibaraki (Kwansei Gakuin Univ.) ----- Break ( 15 min. ) ----- (9) 15:40 - 16:15 On the Computer-Assisted Proof of Linear Lower Bounds on Circuit Size Kazuyuki Amano (Gunma Univ.) (10) 16:15 - 16:50 An Exponentioal Lower Bound on the Size of Constant-Depth Threshold Circuits with Small Energy Complexity Kei Uchizawa, Eiji Takimoto (Tohoku Univ.) === Technical Committee on Theoretical Foundations of Computing (COMP) === # FUTURE SCHEDULE: Mon, Dec 4, 2006: Nagoya University [Fri, Oct 20] # SECRETARY: Shuichi Miyazaki Academic Center for Computing and Media Studies, Kyoto University, Yoshida-Honmachi, Sakyo-ku Kyoto 606-8501, Japan Phone: +81-75-753-7418 Fax: +81-75-751-0482 Email: shui    dia k  -u Last modified: 2006-08-23 13:36:39 |
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 COMP Schedule Page] /
| Go Top | Go Back | Prev COMP Conf / Next COMP Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]