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 (Tokyo Inst. of Tech.)
Vice Chair Hiroki Arimura (Hokkaido Univ.)
Secretary Takeshi Koshiba (Saitama Univ.), Shuichi Miyazaki (Kyoto Univ.)

Conference Date Tue, Oct 16, 2007 10:40 - 16:40
Topics  
Conference Place  
Contact
Person		 Prof. Eiji Takimoto
022-795-7148
Copyright
and
reproduction		 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)

Tue, Oct 16 AM 
10:40 - 16:40
(1) 10:40-11:15 NP-Completeness of the Stable Roommates Problem with Triple Rooms COMP2007-41 Kazuya Okamoto, Shuichi Miyazaki, Kazuo Iwama (Kyoto Univ.)
(2) 11:15-11:50 Complexity of Finding Most Likely Solutions COMP2007-42 Osamu Watanabe (Tokyo Inst. of Tech.)
  11:50-13:30 Lunch Break ( 100 min. )
(3) 13:30-14:05 An exact algorithm for #25SAT based on dynamic proframming on path decomposition COMP2007-43 Mitsuo Motoki (JAIST)
(4) 14:05-14:40 Connectedness of domino tilings with impurities COMP2007-44 Hirotaka Ono (Kyushu Univ.), Taizo Sadahiro (Pref. Univ. of Kumamoto)
(5) 14:40-15:15 A winning strategy for Snaky with one handicap COMP2007-45 Hiro Ito, Hiromitsu Miyagawa (Kyoto Univ.)
  15:15-15:30 Break ( 15 min. )
(6) 15:30-16:05 An O(2^0.24945n)-time and Polynomial-space Algorithm COMP2007-46 Hiroaki Nakanishi, Etsuji Tomita (Univ. of Electro-Comun.)
(7) 16:05-16:40 A polynomial-time algorithm for checking the equivalence of real-time strict deterministic restricted one-counter transducers COMP2007-47 Kazushi Seino (UEC/TSOL), Etsuji Tomita, Mitsuo Wakatsuki (UEC)

Announcement for Speakers
General TalkEach speech will have 30 minutes for presentation and 5 minutes for discussion.

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


Last modified: 2007-08-31 13:29:55


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]

[Return to IEICE Web Page]
The Institute of Electronics, Information and Communication Engineers (IEICE), Japan