|
|
| 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 |
| Topics |
|
| 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.
http://www.eng.hokudai.ac.jp/english/location/ |
Contact
Person |
Prof. Shin-ichi Minato |
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) |
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 -- COMP2012-25 |
Toshihiro Tanuma, Hiroshi Imai (Univ. of Tokyo) |
| Announcement for Speakers |
| General Talk | Each 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
Email:  n e  is is    |
Last modified: 2012-04-16 22:22:38
|