( en | de | ru )

 

Disambiguierung von "Kurihara, Masahito"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Completion for Multiple Reduction Orderings.

, , und . RTA, Volume 914 von Lecture Notes in Computer Science, Seite 71-85. Springer, (1995)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kinya Kurihara

Masahito Hasegawa

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection., , und . IEICE Trans. Inf. Syst., 102-D (2): 223-238 (2019)Simulation of consensus formation models based on Structural Modeling., , und . SMC, Seite 601-607. IEEE, (2010)Improvement and implementation of keyword programming., , und . SMC, Seite 474-480. IEEE, (2010)A Deep Neural Network for Pairwise Classification: Enabling Feature Conjunctions and Ensuring Symmetry., , , und . PAKDD (1), Volume 10234 von Lecture Notes in Computer Science, Seite 83-95. (2017)Generating Natural Counterfactual Visual Explanations., , und . IJCAI, Seite 5204-5205. ijcai.org, (2020)Doctoral Consortium.Implementation and Evaluation of Information Set Monte Carlo Tree Search for Pokémon., , , und . SMC, Seite 2182-2187. IEEE, (2018)Analysis of Connectedness of the Fixed Radius Random Graph Model in One-dimensional Space., , und . WSTST, Volume 29 von Advances in Soft Computing, Seite 1288-1296. Springer, (2005)Effect of Viewing Directions on Deep Reinforcement Learning in 3D Virtual Environment Minecraft., , und . PRIMA, Volume 11224 von Lecture Notes in Computer Science, Seite 527-534. Springer, (2018)Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification., und . IEA/AIE, Volume 3029 von Lecture Notes in Computer Science, Seite 827-837. Springer, (2004)Time-Frequency Decomposition in Gesture Recognition System Using Accelerometer., und . KES, Volume 3213 von Lecture Notes in Computer Science, Seite 1072-1078. Springer, (2004)