Author of the publication

Optimizing mkbTT.

, , , and . RTA, volume 6 of LIPIcs, page 373-384. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Effective neural network training with adaptive learning rate based on training loss., , and . Neural Networks, (2018)Simulation of consensus formation models based on Structural Modeling., , and . SMC, page 601-607. IEEE, (2010)Improvement and implementation of keyword programming., , and . SMC, page 474-480. IEEE, (2010)Implementation and Evaluation of Information Set Monte Carlo Tree Search for Pokémon., , , and . SMC, page 2182-2187. IEEE, (2018)Generating Natural Counterfactual Visual Explanations., , and . IJCAI, page 5204-5205. ijcai.org, (2020)Doctoral Consortium.A Deep Neural Network for Pairwise Classification: Enabling Feature Conjunctions and Ensuring Symmetry., , , and . PAKDD (1), volume 10234 of Lecture Notes in Computer Science, page 83-95. (2017)Multi-Context Rewriting Induction with Termination Checkers., and . IEICE Trans. Inf. Syst., 93-D (5): 942-952 (2010)Constraint-Based Multi-Completion Procedures for Term Rewriting Systems., , , and . IEICE Trans. Inf. Syst., 92-D (2): 220-234 (2009)An efficient procedure for transitive coupling in ISM., , and . IEEE Trans. Syst. Man Cybern., 15 (3): 426-431 (1985)Supporting Refactoring Activities Using Histories of Program Modification., , and . IEICE Trans. Inf. Syst., 89-D (4): 1403-1412 (2006)