Masahito Kurihara

Proceedings of the Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems, 2020

Generating Natural Counterfactual Visual Explanations.

[BibT_eX]

[DOI]

Wenqi Zhao

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Framework for Recommendation Algorithms Using Knowledge Graph and Random Walk Methods.

[BibT_eX]

[DOI]

Takafumi Suzuki

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection.

[BibT_eX]

[DOI]

Chengcheng Ji

IEICE Trans. Inf. Syst., 2019

Bayesian probabilistic tensor factorization for recommendation and rating aggregation with multicriteria evaluation data.

[BibT_eX]

[DOI]

Hiroki Morise

Expert Syst. Appl., 2019

A Personalized Affect Response Model for Online News Articles.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Workshops on Linguistic and Cognitive Approaches to Dialog Agents (LaCATODA 2019) and on Bridging the Gap Between Human and Automated Reasoning (BtG 2019) co-located with 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), 2019

User-Adaptive Preparation of Mathematical Puzzles Using Item Response Theory and Deep Learning.

[BibT_eX]

[DOI]

Ryota Sekiya

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

Explainable Recommendation Using Review Text and a Knowledge Graph.

[BibT_eX]

[DOI]

Takafumi Suzuki

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Learning Relevant Molecular Representations via Self-Attentive Graph Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

Evaluation of Stratified Validation in Neural Network Training with Imbalanced Data.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

Identification of Possible Common Causes by Intrinsic Dimension Estimation.

[BibT_eX]

[DOI]

Jing Song

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

2018

Effective neural network training with adaptive learning rate based on training loss.

[BibT_eX]

[DOI]

Neural Networks, 2018

Why Does Large Batch Training Result in Poor Generalization? A Comprehensive Explanation and a Better Strategy from the Viewpoint of Stochastic Optimization.

[BibT_eX]

[DOI]

Neural Comput., 2018

A Framework for Crowd-Based Causal Analysis of Open Data.

[BibT_eX]

[DOI]

Jing Song

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Longer Distance Weight Prediction for Faster Training of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Implementation and Evaluation of Information Set Monte Carlo Tree Search for Pokémon.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Effect of Viewing Directions on Deep Reinforcement Learning in 3D Virtual Environment Minecraft.

[BibT_eX]

[DOI]

Taiju Matsui

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Toward Explainable Recommendations: Generating Review Text from Multicriteria Evaluation Data.

[BibT_eX]

[DOI]

Takafumi Suzuki

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

Semi-Supervised Learning From Crowds Using Deep Generative Models.

[BibT_eX]

[DOI]

Kyohei Atarashi

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Tell cause from effect: models and evaluation.

[BibT_eX]

[DOI]

Jing Song

Int. J. Data Sci. Anal., 2017

A Deep Neural Network for Pairwise Classification: Enabling Feature Conjunctions and Ensuring Symmetry.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2017

Collaborative filtering and rating aggregation based on multicriteria rating.

[BibT_eX]

[DOI]

Hiroki Morise

Proceedings of the 2017 IEEE International Conference on Big Data (IEEE BigData 2017), 2017

2016

Fine-tuning deep convolutional neural networks for distinguishing illustrations from photographs.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2016

Discovering inductive theorems using rewriting induction.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

2015

Multi-Emotion Estimation in Narratives from Crowdsourced Annotations.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM/IEEE-CE Joint Conference on Digital Libraries, 2015

Crowdsourced Semantic Matching of Multi-Label Annotations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Separate or joint? Estimation of multiple labels from crowdsourced annotations.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Monophonic sound source separation by non-negative sparse autoencoders.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Method sequence generation for multiple object states using dynamic symbolic execution.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Transfer learning based on the observation probability of each attribute.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Learning an accurate entity resolution model from crowdsourced labels.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Ubiquitous Information Management and Communication, 2014

2013

Multi-Completion with Termination Tools.

[BibT_eX]

[DOI]

J. Autom. Reason., 2013

Landmark FN-DBSCAN: An Efficient Density-Based Clustering Algorithm with Fuzzy Neighborhood.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2013

Affect analysis in context of characters in narratives.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

An incremental self-organizing neural network based on enhanced competitive Hebbian learning.

[BibT_eX]

[DOI]

Proceedings of the 2013 International Joint Conference on Neural Networks, 2013

2012

A robust energy artificial neuron based incremental self-organizing neural network with a dynamic structure.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Parallelization of termination checker for term rewriting system.

[BibT_eX]

[DOI]

Rui Ding

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

2011

Formalizing Dialectical Reasoning for Compromise-based Justification.

[BibT_eX]

Proceedings of the ICAART 2011 - Proceedings of the 3rd International Conference on Agents and Artificial Intelligence, Volume 1, 2011

2010

A Tool for Visualizing the Behavior of Fuzzy Constraint Satisfaction Solvers.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2010

High-Speed Maximum Power Point Tracker for Photovoltaic Systems Using Online Learning Neural Networks.

[BibT_eX]

[DOI]

Yasushi Kohata

Koichiro Yamauchi

J. Adv. Comput. Intell. Intell. Informatics, 2010

Multi-Context Rewriting Induction with Termination Checkers.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2010

Hardness measures for gridworld benchmarks and performance analysis of real-time heuristic search algorithms.

[BibT_eX]

[DOI]

Masataka Mizusawa

J. Heuristics, 2010

Improvement and implementation of keyword programming.

[BibT_eX]

[DOI]

Yusuke Sakamoto

Proceedings of the IEEE International Conference on Systems, 2010

Simulation of consensus formation models based on Structural Modeling.

[BibT_eX]

[DOI]

Takahumi Oohori

Proceedings of the IEEE International Conference on Systems, 2010

The use of system security description method in security design assement: A case study.

[BibT_eX]

[DOI]

Tsukasa Maeda

Proceedings of the IEEE International Conference on Systems, 2010

Optimizing mkbTT.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

A Method for Describing Structure of System Security Based on Trust and Authentication.

[BibT_eX]

[DOI]

Tsukasa Maeda

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

2009

Constraint-Based Multi-Completion Procedures for Term Rewriting Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2009

User-Friendly GUI in Software Model Checking.

[BibT_eX]

[DOI]

Shoichi Yokoyama

Proceedings of the IEEE International Conference on Systems, 2009

Quick Maximum Power Point Tracking of Photovoltaic Using Online Learning Neural Network.

[BibT_eX]

[DOI]

Yasushi Kohata

Koichiro Yamauchi

Proceedings of the Neural Information Processing, 16th International Conference, 2009

Personalizing graphical user interfaces on flexible widget layout.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGCHI symposium on Engineering Interactive Computing System , 2009

2008

Electrochromic Thin Film of Water-Dispersible Prussian-Blue Nanoparticles.

[BibT_eX]

[DOI]

IEICE Trans. Electron., 2008

Design and Implementation of Multi-Completion Procedures with Termination Checking.

[BibT_eX]

Proceedings of the International Conference on Theoretical and Mathematical Foundations of Computer Science, 2008

Keeping the stability of solutions to dynamic fuzzy CSps.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2008

Implementation and performance evaluation of multi-completion with termination checking.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2008

Detecting blog groups using vector space models for link structures.

[BibT_eX]

[DOI]

Yuichi Sasaki

Proceedings of the IEEE International Conference on Systems, 2008

Consensus formation models based on structural modeling.

[BibT_eX]

[DOI]

Takahumi Oohori

Proceedings of the IEEE International Conference on Systems, 2008

Computational Dialectics Based on Specialization and Generalization - A New Reasoning Method for Conflict Resolution.

[BibT_eX]

[DOI]

Hiroyuki Kido

Proceedings of the New Frontiers in Artificial Intelligence, 2008

Multi-completion with Termination Tools (System Description).

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2006

Extending Fuzzy Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

J. Adv. Comput. Intell. Intell. Informatics, 2006

Supporting Refactoring Activities Using Histories of Program Modification.

[BibT_eX]

[DOI]

Shinpei Hayashi

Motoshi Saeki

IEICE Trans. Inf. Syst., 2006

An Acquiring Method of Macro-Actions in Reinforcement Learning.

[BibT_eX]

[DOI]

Takeshi Yoshikawa

Proceedings of the IEEE International Conference on Systems, 2006

User-Preferred Interface Design with Abstract Interaction Description Language.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2006

Closed Form Solutions for Connectivity of Fixed Radius Random Graphs in One-Dimensional Space.

[BibT_eX]

[DOI]

Ai Noshiro

Proceedings of the IEEE International Conference on Systems, 2006

Spread-Repair-Shrink: A Hybrid Algorithm for Solving Fuzzy Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fuzzy Systems, 2006

Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm.

[BibT_eX]

Masato Noto

Proceedings of the IASTED International Conference on Advances in Computer Science and Technology, 2006

2005

Spread-Repair Algorithm for Solving Extended Fuzzy Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

Characteristic Analysis of Agents in Adaptive Consensus Formation Models.

[BibT_eX]

[DOI]

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

Analysis of Connectedness of the Fixed Radius Random Graph Model in One-dimensional Space.

[BibT_eX]

[DOI]

Ai Noshiro

Takeshi Yoshikawa

Proceedings of the Soft Computing as Transdisciplinary Science and Technology, 2005

2004

Use of highly accurate GPS in network-based barrier-free street map creation system.

[BibT_eX]

[DOI]

Takeshi Yoshikawa

Proceedings of the IEEE International Conference on Systems, 2004

Time-Frequency Decomposition in Gesture Recognition System Using Accelerometer.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2004

Sensing Pressure for Authentication System Using Keystroke Dynamics.

[BibT_eX]

Proceedings of the International Conference on Computational Intelligence, 2004

Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification.

[BibT_eX]

[DOI]

Proceedings of the Innovations in Applied Artificial Intelligence, 2004

2003

Analysis of a Method Improving Reinforcement Learning Agents' Policies.

[BibT_eX]

[DOI]

Daisuke Kitakoshi

Hiroyuki Shioya

J. Adv. Comput. Intell. Intell. Informatics, 2003

Modeling and Analysis of Genetic Algorithms Based on the Viewpoint of Mixture Systems.

[BibT_eX]

[DOI]

Jun-ichi Imai

Hiroyuki Shioya

J. Adv. Comput. Intell. Intell. Informatics, 2003

Eye-Contact Based Communication Protocol in Human-Agent Interaction.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents, 4th International Workshop, 2003

Logic for Multi-path Message Forwarding Networks for Mobile Agents.

[BibT_eX]

[DOI]

Masanobu Numazawa

Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003

2000

BDD encoding for partial order constraints and its application to expert systems in software verification domains.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

1999

Completion for Multiple Reduction Orderings.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1996

Completion of term-rewriting systems with multiple reduction orderings.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1996

A Reflective Language Based on Conditional Term Rewriting.

[BibT_eX]

[DOI]

Masanobu Numazawa

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

Modularity in Noncopying Term Rewriting.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

Decomposable Termination of Composable Term Rewriting Systems.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 1995

Completion for Multiple Reduction Orderings.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

1992

Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1992

Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1992

1991

An algebraic specification of a reflective language.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991

1990

Modular Term Rewriting Systems and the Termination.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1990

1986

Implication Theory and Algorithm for Reachability Matrix Model.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1986

1985

An efficient procedure for transitive coupling in ISM.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1985

Control algorithm and theoretical analysis of a grade-crossed intersection in a computer-controlled vehicle system.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern., 1985

1984

A theorem and a procedure for the complete implication matrix of system interconnection matrices.

[BibT_eX]

[DOI]