IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
... (for ESS/CS/ES/ISS)
Tech. Rep. Archives
... (for ES/CS)
 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 Keio Imai (Chuo Univ.)
Vice Chair Hiroo Ito (Univ. of Electro-Comm.)
Secretary Jinhee Chun (Tohoku Univ.), Akitoshi Kawamura (Univ. of Tokyo)

Conference Date Thu, Jun 21, 2012 09:30 - 17:35
Conference Place Hokkaido University, School of Engineering, Academic Lounge 3 [Bldg. B3 2F] 
Address Kita 13, Nishi 8, Kita-ku, Sapporo, Hokkaido
Transportation Guide Please see the following website.
Prof. Shin-ichi Minato
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. (No. 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)

Thu, Jun 21 AM 
09:30 - 17:35
(1) 09:30-09:55 Generalization of ZDD Construction Algorithms for Enumerating and Indexing the Solutions of Combinatorial Problems COMP2012-12 Jun Kawahara (JST), Shin-ichi Minato (Hokkaido Univ.)
(2) 09:55-10:20 Rich Operations for Manipulating Sequence Binary Decision Diagrams COMP2012-13 Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato (Hokkaido Univ.)
(3) 10:20-10:45 Efficient Enumeration of the Directed Binary Perfect Phylogenies from Incomplete Data COMP2012-14 Masashi Kiyomi (Yokohama City Univ.), Yoshio Okamoto (Univ. of Electro-Comm.), Toshiki Saitoh (Kobe Univ)
  10:45-11:00 Break ( 15 min. )
(4) 11:00-11:25 Efficient Exponential Time Algorithms for Edit Distance between Unordered Trees COMP2012-15 Tatsuya Akutsu, Takeyuki Tamura (Kyoto Univ.), Daiji Fukagawa (Doshisha Univ.), Atsuhiro Takasu (NII)
(5) 11:25-11:50 Recursive and non recursive formulas in finitism COMP2012-16 Eiichi Tanaka (Kobe Univ.)
  11:50-13:20 Lunch Break ( 90 min. )
(6) 13:20-13:45 A Satisfiability Algorithm and Average-Case Hardness for Formulas over the Full Binary Basis COMP2012-17 Kazuhisa Seto, Suguru Tamaki (Kyoto Univ.)
(7) 13:45-14:10 Candidate Boolean Functions towards Super-Quadratic Formula Size COMP2012-18 Kenya Ueno (Kyoto Univ.)
(8) 14:10-14:35 Complexity results of distance-d independent set problems COMP2012-19 Hiroshi Eto, Fengrui Guo, Eiji Miyano (Kyutech)
  14:35-14:50 Break ( 15 min. )
(9) 14:50-15:15 An Algorithm for the Next-to-Shortest Path in Undirected Planar Graphs COMP2012-20 Cong Zhang, Hiroshi Nagamochi (Kyoto Univ.)
(10) 15:15-15:40 Efficient Atomic Block for Faster Elliptic Curve Scalar Multiplication COMP2012-21 Chitchanok Chuengsatiansup (Univ. of Tokyo)
(11) 15:40-16:05 Optimal Average Joint Hamming Weight for Asymmetric Representation COMP2012-22 Vorapong Suppakitpaisarn (Univ. of Tokyo), Masato Edahiro (Nagoya Univ.), Hiroshi Imai (Univ. of Tokyo)
  16:05-16:20 Break ( 15 min. )
(12) 16:20-16:45 A method for computing a sequence of circumscribing polygons COMP2012-23 Kensuke Onishi (Tokai Univ.), Mamoru Hoshi (UEC)
(13) 16:45-17:10 Approximation for the Geometric Unique Coverage Problem on Unit Squares COMP2012-24 Takehiro Ito (Tohoku Univ.), Shin-ichi Nakano (Gunma Univ.), Yoshio Okamoto (Univ. of Electro-Comm.), Yota Otachi, Ryuhei Uehara (JAIST), Takeaki Uno (NII), Yushi Uno (Osaka Prefecture Univ.)
(14) 17:10-17:35 Notes on weighted Delaunay triangulations and discrete Ricci flow
-- Relation between weighted Delaunay triangulations and circle packing metrics --
Toshihiro Tanuma, Hiroshi Imai (Univ. of Tokyo)

Announcement for Speakers
General TalkEach speech will have 20 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 Jinhee Chun
Graduate School of Information Sciences,
Tohoku University.
Aramaki aza Aoba 6-3-09, Aoba-ku Sendai
980-8579, Japan
E: neisis 

Last modified: 2012-04-16 22:22:38

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