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