| IEICE Technical Committee Submission System Conference Schedule |
Online Proceedings [Sign in] Tech. Rep. Archives |
All Technical Committee Conferences (Searched in: All Years)
| Committee | Date Time | Place | Paper Title / Authors | Abstract | Paper # | |
| ICD | 2024-04-11 09:30 |
Kanagawa | (Primary: On-site, Secondary: Online) |
[Invited Talk]
Information retrieval processors with PWM architecture
-- Pursuing the ideal of Neumann type computers -- Katsumi Inoue (AOT)  ICD2024-1 |
In this paper, we present the problems faced by current computing technology, outline information retrieval processors d... [more] | ICD2024-1 pp.1-6 |
| VLD, DC, RECONF, ICD, IPSJ-SLDM [detail] | 2023-11-16 16:45 |
Kumamoto | Civic Auditorium Sears Home Yume Hall (Primary: On-site, Secondary: Online) |
Implementation Evaluation of a Memorism Pattern Matching Accelerator on FPGA Shion Honda, Tatsuya Nishikawa, Xihong Zhou, Senling Wang, Hiroshi Kai, Yoshinobu Higami, Hiroshi Takahashi (Ehime Univ.), Katsumi Inoue (AOT) VLD2023-61 ICD2023-69 DC2023-68 RECONF2023-64 |
[more] | VLD2023-61 ICD2023-69 DC2023-68 RECONF2023-64 pp.162-167 |
| ICD | 2023-04-10 14:10 |
Kanagawa | (Primary: On-site, Secondary: Online) |
ICD2023-5 |
The information retrieval processors are processors that take over the information retrieval processing that current com... [more] | ICD2023-5 pp.10-13 |
| ICD | 2018-04-19 16:35 |
Tokyo | [Invited Talk]
Problem solving of artificial intelligence with the Memorism processor Katsumi Inoue (AOT), Pham Cong-Kha (UEC) ICD2018-6 |
[more] | ICD2018-6 pp.17-22 |
|
| ICD | 2014-04-18 15:40 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | DataBase processor (DBP) which can search data ultra-high-speed
-- The Computing by Memory provides big innovation for information processing -- Katsumi Inoue (AOT), Cong-Kha Pham (UEC) ICD2014-18 |
Abstract The Processing burden of information search such as verification and recognition for conventional processor CPU... [more] | ICD2014-18 pp.91-96 |
| IE, ICD, VLD, IPSJ-SLDM [detail] | 2013-10-07 16:30 |
Aomori | Set Operating Processor (SOP)
-- Application for Image recognition -- Katsumi Inoue (AOT), Duc-Hung Le, Masahiro Sowa, Cong-Kha Pham (UEC) VLD2013-53 ICD2013-77 IE2013-53 |
Abstract The Processing burden of information search such as verification and recognition for conventional processor CPU... [more] | VLD2013-53 ICD2013-77 IE2013-53 pp.35-40 |
|
| AI | 2007-05-31 10:20 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Towards a Logical Reconstruction of CF-Induction Yoshitaka Yamamoto (Graduate Univ. for Advanced Studies), Oliver Ray (Univ. of Bristol), Katsumi Inoue (NII/Graduate Univ. for Advanced Studies) AI2007-1 |
CF-Induction is a sound and complete hypothesis finding procedure for full clausal logic. Given a background theory and... [more] | AI2007-1 pp.1-6 |
| AI | 2006-05-18 11:10 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Effective SAT Planning and SAT Scheduling by Lemma Reusing Hidetomo Nabeshima (Univ. of Yamanashi), Takehide Soh (Kobe Univ.), Katsumi Inoue (NII), Koji Iwanuma (Univ. of Yamanashi) |
In this paper, we propose a new approach, called {\itshape lemma-reusing}, for accelerating SAT based planning and sched... [more] | AI2006-4 pp.19-24 |
| AI | 2004-06-21 11:15 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Solving Job-shop Scheduling Problems with Multiple SAT Solvers Takehide Soh (Kobe Univ.), Katsumi Inoue (NII) |
[more] | AI2004-4 pp.19-24 |
| AI | 2004-06-21 14:10 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Computing Circumscriptive Models by means of Answer Set Programming Toshiko Wakaki (Shibaura Inst. of Tech.), Katsumi Inoue (NII) |
In computing circumscription by logic programming, circumscription is usually transformed into some target logic progr... [more] |
AI2004-6 pp.27-32 |
| AI | 2004-06-21 15:00 |
Tokyo | Kikai-Shinko-Kaikan Bldg. | Upside-Down Transfromation in SOL and its Application Koji Iwanuma (Yamanashi Univ.), Katsumi Inoue (NII), Hidetomo Nabeshima (Yamanashi Univ.) |
[more] | AI2004-8 pp.39-44 |
[Return to Top Page]