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

All Technical Committee Conferences  (Searched in: All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 21 - 23 of 23 [Previous]  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
AI 2006-11-10
13:50
Kyoto   [Tutorial Lecture] Verification Methods for Security Protocols (2) -- Around Abadi-Rogaway logic --
Tadashi Araragi (NTT CS labs)
 [more]
NLC 2006-07-27
16:20
Hokkaido Future University Hakodate Grading Examinee's Answer Sentences by Verifying Syntactic and Semantic Compatibility
Yasuhiro Akiba, Takaaki Tanaka, Takayuki Suyama, Masaaki Nagata (NTT CS Labs)
This paper addresses the problem of automatically verifying whether contents of two sentences are semantically equivalen... [more] NLC2006-6
pp.31-35
COMP 2004-06-25
14:30
Kanagawa NTT CSLab Atsugi On quantum gates in decoherence-free subspaces
Yasuhito Kawano (NTT CS Labs.), Kinji Kimura (Kyoto Univ., JST), Hiroshi Sekigawa (NTT CS Labs.)
The biggest problem in quantum computing is decoherence,
which is thought to be caused from noise outside of the quantu... [more]
COMP2004-23
pp.33-39
 Results 21 - 23 of 23 [Previous]  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format


[Return to Top Page]

[Return to IEICE Web Page]


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