Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Masahito Kurihara
2010 – today
- 2013
[j20]Michal Ptaszynski, Hiroaki Dokoshi, Satoshi Oyama, Rafal Rzepka, Masahito Kurihara, Kenji Araki, Yoshio Momouchi: Affect analysis in context of characters in narratives. Expert Syst. Appl. 40(1): 168-176 (2013)- [j19]Hao Liu, Satoshi Oyama, Masahito Kurihara, Haruhiko Sato: Landmark FN-DBSCAN: An Efficient Density-Based Clustering Algorithm with Fuzzy Neighborhood. JACIII 17(1): 60-73 (2013)
- [j18]Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara: Multi-Completion with Termination Tools. J. Autom. Reasoning 50(3): 317-354 (2013)
- 2012
- [c34]Hao Liu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara: A robust energy artificial neuron based incremental self-organizing neural network with a dynamic structure. SMC 2012: 1806-1811
- [c33]Rui Ding, Haruhiko Sato, Masahito Kurihara: Parallelization of termination checker for term rewriting system. SMC 2012: 1824-1829
- 2011
- [c32]Hiroyuki Kido, Katsumi Nitta, Masahito Kurihara, Daisuke Katagami: Formalizing Dialectical Reasoning for Compromise-based Justification. ICAART (1) 2011: 355-363
- 2010
- [j17]Masataka Mizusawa, Masahito Kurihara: Hardness measures for gridworld benchmarks and performance analysis of real-time heuristic search algorithms. J. Heuristics 16(1): 23-36 (2010)
- [j16]Haruhiko Sato, Masahito Kurihara: Multi-Context Rewriting Induction with Termination Checkers. IEICE Transactions 93-D(5): 942-952 (2010)
- [j15]Takuto Yanagida, Masahito Kurihara, Hidetoshi Nonaka: A Tool for Visualizing the Behavior of Fuzzy Constraint Satisfaction Solvers. JACIII 14(5): 425-430 (2010)
- [j14]Yasushi Kohata, Koichiro Yamauchi, Masahito Kurihara: High-Speed Maximum Power Point Tracker for Photovoltaic Systems Using Online Learning Neural Networks. JACIII 14(6): 677-682 (2010)
- [c31]Tsukasa Maeda, Masahito Kurihara: A Method for Describing Structure of System Security Based on Trust and Authentication. ACIS-ICIS 2010: 83-90
- [c30]Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara: Optimizing mkbTT. RTA 2010: 373-384
- [c29]Tsukasa Maeda, Masahito Kurihara: The use of system security description method in security design assement: A case study. SMC 2010: 350-357
- [c28]Yusuke Sakamoto, Haruhiko Sato, Masahito Kurihara: Improvement and implementation of keyword programming. SMC 2010: 474-480
- [c27]Tamotsu Mitamura, Takahumi Oohori, Masahito Kurihara: Simulation of consensus formation models based on Structural Modeling. SMC 2010: 601-607
2000 – 2009
- 2009
- [j13]Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp: Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. IEICE Transactions 92-D(2): 220-234 (2009)
- [c26]Takuto Yanagida, Hidetoshi Nonaka, Masahito Kurihara: Personalizing graphical user interfaces on flexible widget layout. EICS 2009: 255-264
- [c25]Yasushi Kohata, Koichiro Yamauchi, Masahito Kurihara: Quick Maximum Power Point Tracking of Photovoltaic Using Online Learning Neural Network. ICONIP (1) 2009: 606-613
- [c24]Haruhiko Sato, Shoichi Yokoyama, Masahito Kurihara: User-Friendly GUI in Software Model Checking. SMC 2009: 468-473
- 2008
- [j12]Ayako Omura, Hirofumi Shiozaki, Shigeo Hara, Tohru Kawamoto, Akihito Gotoh, Masahito Kurihara, Masaomi Sakamoto, Hisashi Tanaka: Electrochromic Thin Film of Water-Dispersible Prussian-Blue Nanoparticles. IEICE Transactions 91-C(12): 1887-1888 (2008)
- [c23]Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp: Multi-completion with Termination Tools (System Description). IJCAR 2008: 306-312
- [c22]Hiroyuki Kido, Masahito Kurihara: Computational Dialectics Based on Specialization and Generalization - A New Reasoning Method for Conflict Resolution. JSAI 2008: 228-241
- [c21]Yuichi Sasaki, Masahito Kurihara: Detecting blog groups using vector space models for link structures. SMC 2008: 980-985
- [c20]Haruhiko Sato, Masahito Kurihara: Implementation and performance evaluation of multi-completion with termination checking. SMC 2008: 991-996
- [c19]Tamotsu Mitamura, Takahumi Oohori, Masahito Kurihara: Consensus formation models based on structural modeling. SMC 2008: 997-1001
- [c18]Yasuhiro Sudo, Masahito Kurihara, Takuto Yanagida: Keeping the stability of solutions to dynamic fuzzy CSps. SMC 2008: 1002-1007
- [c17]Haruhiko Sato, Masahito Kurihara: Design and Implementation of Multi-Completion Procedures with Termination Checking. TMFCS 2008: 33-40
- 2006
- [j11]Shinpei Hayashi, Motoshi Saeki, Masahito Kurihara: Supporting Refactoring Activities Using Histories of Program Modification. IEICE Transactions 89-D(4): 1403-1412 (2006)
- [j10]Yasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura: Extending Fuzzy Constraint Satisfaction Problems. JACIII 10(4): 465-471 (2006)
- [c16]Masato Noto, Masahito Kurihara: Experimental study of hybrid-type distributed maximal constraint satisfaction algorithm. ACST 2006: 67-72
- [c15]Takuto Yanagida, Hidetoshi Nonaka, Masahito Kurihara: User-Preferred Interface Design with Abstract Interaction Description Language. SMC 2006: 2458-2463
- [c14]Ai Noshiro, Masahito Kurihara: Closed Form Solutions for Connectivity of Fixed Radius Random Graphs in One-Dimensional Space. SMC 2006: 2939-2943
- [c13]Takeshi Yoshikawa, Masahito Kurihara: An Acquiring Method of Macro-Actions in Reinforcement Learning. SMC 2006: 4813-4817
- 2005
- [c12]Yasuhiro Sudo, Masahito Kurihara, Tamotsu Mitamura: Spread-Repair Algorithm for Solving Extended Fuzzy Constraint Satisfaction Problems. WSTST 2005: 914-923
- [c11]Ai Noshiro, Takeshi Yoshikawa, Masahito Kurihara: Analysis of Connectedness of the Fixed Radius Random Graph Model in One-dimensional Space. WSTST 2005: 1288-1296
- [c10]Hiroaki Oumi, Tamotsu Mitamura, Masahito Kurihara, Takahumi Oohori, Takeshi Yoshikawa: Characteristic Analysis of Agents in Adaptive Consensus Formation Models. WSTST 2005: 1329-1337
- 2004
- [c9]Masahito Kurihara, Hisashi Kondo: Efficient BDD Encodings for Partial Order Constraints with Application to Expert Systems in Software Verification. IEA/AIE 2004: 827-837
- [c8]Hidetoshi Nonaka, Masahito Kurihara: Sensing Pressure for Authentication System Using Keystroke Dynamics. International Conference on Computational Intelligence 2004: 19-22
- [c7]Hidetoshi Nonaka, Masahito Kurihara: Time-Frequency Decomposition in Gesture Recognition System Using Accelerometer. KES 2004: 1072-1078
- [c6]Masahito Kurihara, Hidetoshi Nonaka, Takeshi Yoshikawa: Use of highly accurate GPS in network-based barrier-free street map creation system. SMC (2) 2004: 1169-1173
- 2003
- [j9]Jun-ichi Imai, Hiroyuki Shioya, Masahito Kurihara: Modeling and Analysis of Genetic Algorithms Based on the Viewpoint of Mixture Systems. JACIII 7(3): 268-275 (2003)
- [j8]Daisuke Kitakoshi, Hiroyuki Shioya, Masahito Kurihara: Analysis of a Method Improving Reinforcement Learning Agents' Policies. JACIII 7(3): 276-282 (2003)
- [c5]Masahito Kurihara, Masanobu Numazawa: Logic for Multi-path Message Forwarding Networks for Mobile Agents. ISMIS 2003: 374-383
- [c4]Hidetoshi Nonaka, Masahito Kurihara: Eye-Contact Based Communication Protocol in Human-Agent Interaction. IVA 2003: 106-110
1990 – 1999
- 1999
- [j7]Masahito Kurihara, Hisashi Kondo: Completion for Multiple Reduction Orderings. J. Autom. Reasoning 23(1): 25-42 (1999)
- [c3]Masahito Kurihara, Hisashi Kondo: Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains. Australian Joint Conference on Artificial Intelligence 1999: 353-364
- 1996
- [j6]Hisashi Kondo, Masahito Kurihara, Azuma Ohuchi: Completion of term-rewriting systems with multiple reduction orderings. Systems and Computers in Japan 27(6): 33-44 (1996)
- [c2]Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi: A Reflective Language Based on Conditional Term Rewriting. DISCO 1996: 65-66
- 1995
- [j5]Masahito Kurihara, Azuma Ohuchi: Decomposable Termination of Composable Term Rewriting Systems. IEICE Transactions 78-D(4): 314-320 (1995)
- [j4]Masahito Kurihara, Azuma Ohuchi: Modularity in Noncopying Term Rewriting. Theor. Comput. Sci. 152(1): 139-169 (1995)
- [c1]Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Completion for Multiple Reduction Orderings. RTA 1995: 71-85
- 1992
- [j3]Masahito Kurihara, Hisashi Kondo, Azuma Ohuchi: Using ATMS to Efficiently Verify the Termination of Rewrite Rule Programs. International Journal of Software Engineering and Knowledge Engineering 2(4): 547-565 (1992)
- [j2]Masahito Kurihara, Azuma Ohuchi: Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors. Theor. Comput. Sci. 103(2): 273-282 (1992)
- 1990
- [j1]Masahito Kurihara, Ikuo Kaji: Modular Term Rewriting Systems and the Termination. Inf. Process. Lett. 34(1): 1-4 (1990)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-01 22:59 CEST by the dblp team