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

Fine-tuning deep convolutional neural networks for distinguishing illustrations from photographs., , , , and . Expert Syst. Appl., (2016)Separate or joint? Estimation of multiple labels from crowdsourced annotations., , , and . Expert Syst. Appl., 41 (13): 5723-5732 (2014)Monophonic sound source separation by non-negative sparse autoencoders., , , , and . SMC, page 3623-3626. IEEE, (2014)Transfer learning based on the observation probability of each attribute., , , and . SMC, page 3627-3631. IEEE, (2014)Crowdsourced Semantic Matching of Multi-Label Annotations., , , and . IJCAI, page 3483-3489. AAAI Press, (2015)Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion., and . CADE, volume 9195 of Lecture Notes in Computer Science, page 152-162. Springer, (2015)Discovering conditional properties of recursive functions in a proof assistant., and . SCIS/ISIS, page 1-4. IEEE, (2020)Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection., , and . IEICE Trans. Inf. Syst., 102-D (2): 223-238 (2019)Constraint-Based Multi-Completion Procedures for Term Rewriting Systems., , , and . IEICE Trans. Inf. Syst., 92-D (2): 220-234 (2009)Multi-Context Rewriting Induction with Termination Checkers., and . IEICE Trans. Inf. Syst., 93-D (5): 942-952 (2010)