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 #
AI 2011-11-21
15:20
Fukuoka   Rule Extraction from Twitter Using Inductive Logic Programming
Noriaki Chikara (TCT), Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa (Kyushu Univ.) AI2011-25
There are a lot of information recommender systems on the Web. These systems aim to find and provide useful information ... [more] AI2011-25
pp.49-51
AI 2009-05-22
13:50
Tokyo   Extraction Rules of Evaluating Web Pages by Inductive Logic Programming and its Evaluation
Yuichi Tashiro, Tetsuya Oishi (Kyushu Univ.), Noriaki Chikara (Tokuyama College), Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa (Kyushu Univ.) AI2009-5
To improve the accuracy of Web retrieval, we have to know whether each retrieved result is appropriate. However, such ev... [more] AI2009-5
pp.25-29
KBSE, JSAI-KBS 2007-01-23
12:15
Kanagawa KEIO UNIVERSITY Selection of Retrieval Words Used for Web Page Recommendation Based on Schedules
Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Shunsuke Kuramoto, Hiroto Nagata (Kyushu Univ)
 [more] KBSE2006-61
pp.37-42
AI 2006-05-18
11:35
Tokyo Kikai-Shinko-Kaikan Bldg. Preprocessing SAT problems with abstract models
Miyuki Koshimura, Ryuzo Hasegawa (Kyushu Univ.)
We presented an simplification (pre-processing) method for the first-order CNF formula. The method makes use of an abstr... [more] AI2006-5
pp.25-28
CPSY, VLD, IPSJ-SLDM 2005-01-25
15:50
Kanagawa   Solving SAT problem by PCMGTP on FPGA
Shohei Kinoshita, Junichi Matsuda, Hiroshi Fujita, Miyuki Koshimura, Ryuzo Hasegawa (Kyushu Univ)
In this paper, a new design of the SAT solver PCMGTP implemented on an FPGA chip is described. Although the previous imp... [more] VLD2004-107 CPSY2004-73
pp.57-62
AI 2004-06-21
14:35
Tokyo Kikai-Shinko-Kaikan Bldg. Preprocessing Clause Sets by Abstract Model Generation
Mayumi Umeda, Miyuki Koshimura, Ryuzo Hasegawa (Kyushu Univ.)
Abstract model generation is model generation for abstract clause sets in which arguments of atoms are ignored. We give ... [more] AI2004-7
pp.33-38
 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