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) [schedule] [select]
Chair Osamu Watanabe
Vice Chair Hiroki Arimura
Secretary Takeshi Koshiba, Shuichi Miyazaki

Conference Date Fri, Jun 29, 2007 09:00 - 17:50
Conference Place  
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

Fri, Jun 29 AM 
09:00 - 17:50
(1) 09:00-09:25 A Computaional Complexity for finding a Maximum Clique in a Graph with Maximum Degree 4 COMP2007-18 Hiroaki Nakanishi, Etsuji Tomita (UEC)
(2) 09:25-09:50 Linear Time Enumeration of Isolated Bicliques with Part Size Proportion Bounded by Constants COMP2007-19 Hiromitsu Miyagawa, Hiro Ito, Kazuo Iwama (Kyoto Univ.)
(3) 09:50-10:15 Testing k-Edge-Connectivity of Digraphs COMP2007-20 Yuichi Yoshida, Hiro Ito (Kyoto Univ.)
  10:15-10:30 Break ( 15 min. )
(4) 10:30-10:55 Towards closing a gap between worst-case and average-case NP hardness COMP2007-21 Akinori Kawachi, Osamu Watanabe (Tokyo Inst. of Tech.)
(5) 10:55-11:20 Deductive Inference for the Interiors and Exteriors of Horn Theories COMP2007-22 Kazuhisa Makino (Univ. of Tokyo), Hirotaka Ono (Kyushu Univ.)
(6) 11:20-11:45 Weighted Random Popular Matchings COMP2007-23 Toshiya Itoh, Osamu Watanabe (Tokyo Inst. of Tech.)
  11:45-13:00 Lunch Break ( 75 min. )
(7) 13:00-14:00  
  14:00-14:15 Break ( 15 min. )
(8) 14:15-14:40 Simple efficient algorithm for MPQ-tree of an interval graph COMP2007-24 Toshiki Saitoh, Masashi Kiyomi, Ryuhei Uehara (JAIST)
(9) 14:40-15:05 On the complexity of planar n/k-coloring problems COMP2007-25 Masakazu Shoji, Akihiro Uejima (Osaka Electro-Communication Univ.)
(10) 15:05-15:30 A Tight Upper Bound on Online Buffer Management for Two-port Shared-Memory Switches COMP2007-26 Koji Kobayashi, Shuichi Miyazaki, Yasuo Okabe (Kyoto Univ.)
(11) 15:30-15:55 A Difference-Optimal Algorithm for Gathering Autonomous Mobile Robots with Dynamic Compasses COMP2007-27 Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada (Nagoya Inst.of Tech.)
  15:55-16:10 Break ( 15 min. )
(12) 16:10-16:35 The Firing Squad Synchronization Problems for Number Patterns on 7-Segment Display COMP2007-28 Kazuya Yamashita (Univ. Toyama), Eigo Takemasa (Univ. Toyama/Nihon Softech), Mitsuru Sakai, Sadaki Hirose (Univ. Toyama)
(13) 16:35-17:00 On an Efficient Implementation of a DFA-based Algorithm for the Exetended Regular Expression Membership and Search Problems COMP2007-29 Hiroaki Yamamoto (Shinshu Univ.), Takashi Miyazaki (Nagano NCT)
(14) 17:00-17:25 Linear-Time Recognition of Tree Structures by Deterministic Linear Pushdown Tree Automata COMP2007-30 Akio Fujiyoshi (Ibaraki Univ.)
(15) 17:25-17:50 Succinct Array Structure for Patricia Trie COMP2007-31 Susumu Yata, Kazuhiro Morita, Masao Fuketa, Jun-ichi Aoe (Tokushima Univ.)

Contact Address and Latest Schedule Information
COMP Technical Committee on Theoretical Foundations of Computing (COMP)   [Latest Schedule]
Contact Address Takeshi Koshiba
Area of Informatics,
Graduate School of Science and Engineering,
Saitama University.
255 Shimo-Okubo, Sakura, Saitama 338-8570, Japan.
Phone/Fax: +81-48-858-3494
E: batii-u 

Last modified: 2007-05-07 20:11:36

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.

[On-Site Price List of Paper Version of Proceedings (Technical Report)] (in Japanese)
[Presentation and Participation FAQ] (in Japanese)
[Cover and Index of IEICE Technical Report by Issue]

[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]

[Return to IEICE Web Page]

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan