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 1 - 6 of 6  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
KBSE, SWIM 2021-05-21
15:30
Online Online Four perspectives model to inspire and examine business model for DX and rule-based representation of the model
Hiroshi Hatakama (DXBM Institute) KBSE2021-6 SWIM2021-6
In this paper, we propose method to inspire and examine business model for DX (Digital Transformation). We divide busine... [more] KBSE2021-6 SWIM2021-6
pp.31-36
ET 2018-11-10
13:35
Tokyo Tokyo Polytechnic University Development of Problem Posing System about Learning Patent Act Using Predicate Logic of Legal Texts
Kazashi Fujita, Takako Akakura (TUS) ET2018-58
Intellectual property law education is becoming increasingly important because to the globalization of industry. However... [more] ET2018-58
pp.29-32
CPSY, DC, IPSJ-SLDM, IPSJ-EMB, IPSJ-ARC [detail] 2018-03-08
15:25
Shimane Okinoshima Bunka-Kaikan Bldg. Selecting a Rule Set of the Logical Inference System with Machine Learning
Shozo Takeoka, Tomoaki Shikina, Hironori Nakajo (TUAT) CPSY2017-142 DC2017-98
Since modern logical inference system needs a huge rule-base which is increasing more and more, search space can be red... [more] CPSY2017-142 DC2017-98
pp.197-202
SS 2007-10-22
14:00
Miyagi Miyagi Univ. Proving Non-termination of Logic Programs by Detecting Loops in Derivation Trees
Tomohiro Mizutani, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe, Keiichirou Kusakari (Nagoya Univ.) SS2007-30
In this paper, we present a method for automatically proving non-termination of logic programs. Given a program and a qu... [more] SS2007-30
pp.1-6
SS 2005-04-21
15:00
Wakayama   Design Pattern Detection Using Static and Dynamic Analysis
Junya Katada, Takashi Kobayashi, Motoshi Saeki (Tokyo Tech)
It is useful to understand the software to know what design pattern where used in existing object-oriented software. How... [more] SS2005-4
pp.19-24
ET 2004-10-16
16:20
Okayama   An estimation of understanding of students in our experiment-course based on a questionnaire by means of a logic programming language
Fumiko Kouda, Koji Watanabe, Tetsuji Oda (Univ. of Tokyo)
In this paper, we report an estimation of understanding of students, who selected our general electric
experimental cou... [more]
ET2004-49
pp.73-78
 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