IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

Technical Committee on Theoretical Foundations of Computing (COMP)  (Searched in: 2013)

Search Results: Keywords 'from:2013-10-18 to:2013-10-18'

[Go to Official COMP Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 6 of 6  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
COMP 2013-10-18
10:40
Aichi Nagoya Institute of Technology Three-way Indexing ZDDs for Large Scale Sparse Dataset
Hiroshi Aoki (Hokkaido Univ.), Takahisa Toda (JST), Shin-ichi Minato (Hokkaido Univ.) COMP2013-32
 [more] COMP2013-32
pp.1-8
COMP 2013-10-18
11:15
Aichi Nagoya Institute of Technology The Hamiltonian cycle problem on distance-hereditary graph
Takanori Jimbo, Tomio Hirata (Nagoya Univ.) COMP2013-33
(To be available after the conference date) [more] COMP2013-33
pp.9-12
COMP 2013-10-18
11:50
Aichi Nagoya Institute of Technology Efficient Algorithm and Coding for Higher-Order Compression
Kazuya Yaguchi (Tohoku Univ.), Naoki Kobayashi (Univ. of Tokyo), Ayumi Shinohara (Tohoku Univ.) COMP2013-34
Higher-order compression is a scheme for compressing data in the form of functional programs that generate the data.
Th... [more]
COMP2013-34
pp.13-20
COMP 2013-10-18
13:55
Aichi Nagoya Institute of Technology [Tutorial Lecture] Introduction to Computational Complexity Theory (4): Barriers in Proving the Limits of Computation
Suguru Tamaki (Kyoto Univ.) COMP2013-35
The P != NP conjecture states that deterministic computation cannot efficiently simulate non-deterministic computation. ... [more] COMP2013-35
p.21
COMP 2013-10-18
15:50
Aichi Nagoya Institute of Technology Constant-Space Zero-Knowledge Proofs Systems with One-Way Quantum Verifiers -- Preliminary Report --
Marcos Villagra, Tomoyuki Yamakami (Univ. of Fukui) COMP2013-36
We discuss the notion of quantum zero-knowledge proof systems whose memory-limited verifiers
receive a stream of classi... [more]
COMP2013-36
pp.23-24
COMP 2013-10-18
16:25
Aichi Nagoya Institute of Technology An Algorithm for the coin-exchange problem of Frobenius using a parse table
Shunichi Matsubara (Aoyama Gakuin Univ.) COMP2013-37
The coin-exchange problem of Frobenius is a problem that finds the Frobenius number for relatively prime positive intege... [more] COMP2013-37
pp.25-28
 Results 1 - 6 of 6  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
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)


[Return to Top Page]

[Return to IEICE Web Page]


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