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  (All Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 5 of 5  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE 2020-03-06
Okinawa Tenbusu-Naha
(Cancelled but technical report was issued)
Effective Planing for AI/Data Analysis Projects Based on Goal-Oriented Requirements Analysis
Daisuke Okuya, Satoshi Ikada (OKI), Hiroyuki Nakagawa (Osaka Univ.) KBSE2019-49
Recently, the opportunities for AI and data analysis to be applied to social implementation beyond research subjects are... [more] KBSE2019-49
SP, EA, SIP 2013-05-16
Okayama   Human Sensing Technique Using Microwave Doppler Radar Based on Higher-order Local Autocorrelation Features
Daisuke Okuya, Michiyo Hiramoto, Kurato Maeno (OKI) EA2013-3 SIP2013-3 SP2013-3
Conventionally, as for the feeling sensor of a person which detects the existence of the person in object area, it is co... [more] EA2013-3 SIP2013-3 SP2013-3
LOIS 2011-03-03
Okinawa Ishigaki IT business support center A Study on Activity Recognition for Motion Recording in Fitness Club
Daisuke Okuya, Kurato Maeno (OKI) LOIS2010-80
In the life log systems for rising health awareness and diet, it is important to automatically record exercise informati... [more] LOIS2010-80
PRMU, HIP 2010-03-16
Kagoshima Kagoshima Univ. Exercise Stress Estimation in Unconstrained Measurement Environment
Daisuke Okuya, Kurato Maeno (OKI Electric Industry Co., Ltd.) PRMU2009-293 HIP2009-178
In activity recognition with acceleration sensors, it is also important to recognize the pace or exercise stress of the ... [more] PRMU2009-293 HIP2009-178
SS 2005-12-19
Kochi Kochi Women's University Secrecy Verification by Transforming Cryptographic Protocol Descriptions to Coloured Petri Nets
Daisuke Okuya, Toshiki Sakabe, Masahiko Sakai, Keiichirou Kusakari, Naoki Nishida (Nagoya Univ.)
Verification of the safety of cryptographic protocols can be
mechanized by reducing the safety to the reachability of C... [more]
 Results 1 - 5 of 5  /   
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