Papers - MABUCHI Hiroshi

Situation-based Reply Candidate Presentation Method for Mobile Phone

Masafumi Matsuhara, Norifumi Watanabe, Goutam Chakraborty, Hiroshi Mabuchi

Int. J. Information Technology, Communications and Convergence  3 ( 4 ) 319 - 336   2020

Research paper (scientific journal)

Joint Work  English 

Improving Awareness of Emotional Meaning of Emoticon by Representing as Numelical Vectors

Yuki Okude, Masafumi Matsuhara, Goutam Chakraborty, Hiroshi Mabuchi

The 10th IEEE International Conference on Awareness Science and Technology    401 - 406   2019.10

Research paper (international conference proceedings)

Joint Work  English 

Method to Present Situation Aware Suitable Reply Candidate on Mobile Terminal

Norifumi Watanabe, Masafumi Matsuhara, Goutam Chakraborty, Hiroshi Mabuchi

The 10th IEEE International Conference on Awareness Science and Technology    395 - 400   2019.10

Research paper (international conference proceedings)

Joint Work  English 

Topic-Aware Automatic Snippet Generation for Resolving Multiple Meaning on Web Search Resuly

Hiroyuki Abe, Masafumi Matsuhara, Goutam Chakraborty, and Hiroshi Mabuchi

The 9th IEEE International Conference on Awareness Science and Technology    133 - 138   2018.09

Research paper (international conference proceedings)

Joint Work  English 

An Efficient Image-Aware Kana-Kanji Conversion Algorithm for Twitter on Mobile Phones

Masafumi Matsuhara, Taichi Sugawara, Goutam Chakraborty, and Hiroshi Mabuchi

The IEEE 7th International Conference on Awareness Science and Technology    2015.09

Research paper (international conference proceedings)

Joint Work  English 

Efficient Solution of Constraint Satisfaction Problems by Taking into Account the Relationship of Constraints

Hiroshi Mabuchi, Kohei Fukuchi

Int. J. of Innovative Computing, Information and Control  11 ( 1 ) 137 - 151   2015.02

Research paper (scientific journal)

Joint Work  English 

An Algorithm for Checking Incorrectness of a Rule in Equivalent Transformation Programs

Hiroshi Mabuchi, Shinya Miyajima

Int. J. of Innovative Computing, Information and Control  11 ( 1 ) 327 - 347   2015.02

Research paper (scientific journal)

Joint Work  English 

Efficient Solution of Constraint Satisfaction Problems by Equivalent Transformation

Hiroshi Mabuchi

Int. J. of Computational Engineering Research  3 ( 11 ) 61 - 70   2013.11

Research paper (scientific journal)

Single Work  English 

Proof of Unsatisfiability of Atom Sets based on Computation by Equivalent Transformation Rules

Katsunori Miura, Kiyoshi Akama, Hidekatsu Koike, and Hiroshi Mabuchi

Int. J. of Innovative Computing, Information and Control  9 ( 11 ) 4419 - 4430   2013.11

Research paper (scientific journal)

Joint Work  English 

Theoretical Basis for making Equivalent Transformation Rules from Logical Equivalences for Program Synthesis

Katsunori Miura, Kiyoshi Akama, Hiroshi Mabuchi, and Hidekatsu Koike

Int. J. of Innovative Computing, Information and Control  9 ( 6 ) 2635 - 2650   2013.06

Research paper (scientific journal)

Joint Work  English 

Algorithmic Debugging of Equivalent Transformation Programs using Oracle Rules

Shinya Miyajima, Kiyoshi Akama, and Hiroshi Mabuchi

Int. J. of Innovative Computing, Information and Control  7 ( 8 ) 4703 - 4716   2011.08

Research paper (scientific journal)

Joint Work  English 

Initialization Method of Reference Vectors for Improvement of Recognition Accuracy in LVQ

Yuji Mizuno, Hiroshi Mabuchi

An Int. J. of Science, Engineering and Technology  56   1450 - 1456   2011.08

Research paper (scientific journal)

Joint Work  English 

Clustering of EEG data using maximum entropy method and LVQ

Yuji Mizuno, Hiroshi Mabuchi, Goutam Chakraborty, and Masafumi Matsuhara

INTERNATIONAL JOURNAL OF COMPUTERS  4 ( 4 ) 193 - 200   2010.09

Research paper (scientific journal)

Joint Work  English 

Parallel Processing Framework based on Distributed Computation of Specialization

Hidemi Ogasawara, Kiyoshi Akama, and Hiroshi Mabuchi

Int. J. of Innovative Computing, Information and Control  6 ( 5 ) 2371 - 2381   2010.05

Research paper (scientific journal)

Joint Work  English 

ET-based Distributed Cooperative System

H.Yoshikawa, K.Akama, and H.Mabuchi

Int. J. of Innovative Computing, Information & Control  5 ( 12(A) ) 4655 - 4666   2009.12

Research paper (scientific journal)

Joint Work  English 

Generating Functionality-based Rules for Program Construction

Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi

Int. J. of Innovative Computing, Information & Control  5 ( 9 ) 2463 - 2479   2009.09

Research paper (scientific journal)

Joint Work  English 

Automatic Detection of Incorrect Rules in Equivalent Transformation Programs

Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi and Yuya Wakamatsu

Int. J. of Innovative Computing, Information & Control  5 ( 8 ) 2203 - 2218   2009.08

Research paper (scientific journal)

Joint Work  English 

Creation of ET Rules from Logical Formulas Representing Equivalent Relations

K.Miura, K.Akama, and H.Mabuchi

Int. J. of Innovative Computing, Information & Control  5 ( 2 ) 263 - 277   2009.02

Research paper (scientific journal)

Joint Work  English 

Specialization-based Parallel Processing without Memo-trees

Hidemi Ogasawara, Kiyoshi Akama, and Hiroshi Mabuchi

International Journal of Electrical and Computer Engineering  ４ ( ８ ) ５１８ - ５２３   2009

Research paper (scientific journal)

Joint Work  English 

Extending E-learning systems based on Clause-Rule model

K. Nakamura, K. Akama, and H. Mabuchi

World Academy of Science, Engineering and Technology  3   789 - 795   2009

Research paper (scientific journal)

Joint Work  English 

Generating Speq Rules based on Automatic Proof of Logical Equivalence

Katsunori Miura, Kiyoshi Akama, and Hiroshi Mabuchi

Int. J. of Computer Science  3 ( 3 ) 190 - 198   2008.08

Research paper (scientific journal)

Joint Work  English 

Equivalent Transformation Rules as Components of Programs

Hiroshi Mabuchi, Kiyoshi Akama, and Toshihiro Wakatsuki

International Journal of Innovative Computing, Information & Control  3 ( 3 ) 685 - 696   2007.06

Research paper (scientific journal)

Joint Work  English 

Logic Circuit Synthesis Preserving Correctness using ET Rules

Hiroshi Yoshikawa, Kiyoshi Akama, and Hiroshi Mabuchi

WSEAS TRANSACTIONS on CIRCUITS and SYSTEMS  6 ( 5 ) 465 - 472   2007.05

Research paper (scientific journal)

Joint Work  English 

Infinite Computation in the Equivalent Transformation Model

Mabuchi,H.,Akama,K., Koike,H.,以下１名

Journal of Advanced Computational Intelligence and Intelligent Informatics  11 ( 2 )   2007.02

Research paper (scientific journal)

Part： pp.176--186

Joint Work  English 

Constraint Solving Specializations for Equality on an Interval-Variable Domain

Mabuchi,H.,Akama,K., Miura,K.,以下１名

Journal of Advanced Computational Intelligence and Intelligent Informatics  11 ( 2 )   2007.02

Research paper (scientific journal)

Part： pp.210--219

Joint Work  English 

Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model

Koike,H.,Akama,K.,Mabuchi,H.

Journal of Advanced Computational Intelligence and Intelligent Informatics  10 ( 3 )   2006.05

Research paper (scientific journal)

Part： pp.302--311

Joint Work  English 

Design of Nondeterministic Program Termination Based on the Equivalent Transformation Computation Model

Takarajima, I.,Akama,K., Imani,I., Mabuchi,H.

Journal of Advanced Computational Intelligence and Intelligent Informatics  10 ( 3 )   2006.05

Research paper (scientific journal)

Part： pp.349--361

Joint Work  English 

Converting Constraint Handling Rules to Equivalent Transformation Rules

Shigeta,Y.,Akama, K.,Mabuchi,H.,以下１名

Journal of Advanced Computational Intelligence and Intelligent Informatics  10 ( 3 )   2006.05

Research paper (scientific journal)

Part： pp.339--348

Joint Work  English 

Multi-Head Rules in Equivalent Transformation

Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi, and Yuichi Yamamoto

Intelligent Systems at the Service of Mankind Vol.1    299 - 310   2003.11

Research paper (scientific journal)

Joint Work  English 

Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation

Mabuchi,H.,Akama,K.,Ishikawa,T.,以下１名

Journal of Advanced Computational Intelligence and Intelligent Informatics  7 ( 3 )   2003.10

Research paper (scientific journal)

Part： pp.306--314

Joint Work  English 

How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm

Ishikawa,T.,Akama,K.,Mabuchi,H.

Journal of Advanced Computational Intelligence and Intelligent Informatics  7 ( 3 )   2003.10

Research paper (scientific journal)

Part： pp.260--267

Joint Work  English