Search Results1-20 of  42

  • 1 / 3
  • HARAO MASATERU ID: 9000004147079

    Kyushu Institute of Technology (2001 from CiNii)

    Articles in CiNii:2

    • An Efficient Graph Embedding Algorithm for a Three-Dimensional Cellular Reconfigurable Array (1985)
    • Study on the Association between the Patients' Clinical Background and the Anaerobes by Data Mining In Infectious Diseases Database (2001)
  • HARAO MASATERU ID: 9000004147235

    Faculty of Engineering, Yamagata University (1988 from CiNii)

    Articles in CiNii:1

    • Realization of Regular Expression Recognizers by Programmable Cellular Array (1988)
  • HARAO Masateru ID: 1000000006272

    Articles in CiNii:73

    • Development of LK Analogical Proof System Based on Schema Matching (2000)
    • Generalized-Knowledge Acquisition and Reasoning Based on Similarity (1993)
    • Formalization of Hypothetical Reasoning Based on Higher Order Logic and Its Realization (1994)
  • HARAO Masateru ID: 9000004870300

    Department of Artificial Intelligence, Kyushu institute of Technology (2002 from CiNii)

    Articles in CiNii:1

    • Efficient Schema Matching Algorithm Based on Pre-Checking (2002)
  • HARAO Masateru ID: 9000006250629

    Department of Artifical Intelligence, Kyushu Institute of Technology (1992 from CiNii)

    Articles in CiNii:2

    • ANALOGICAL REASONING OF NATURAL DEDUCTION PROOF BASED ON HIGHER ORDER ABSTRACTION (1992)
    • EMBEDDING OF GRAPHS INTO CELLULAR ARRAYS BY GRAPH FACTORIZATION METHOD (1982)
  • HARAO Masateru ID: 9000006575263

    Research Institute of Electrical Communication, Tohoku University (1984 from CiNii)

    Articles in CiNii:1

    • SET-UP AND ROUTING ALGORITHMS FOR CELLULAR INTERCONNECTION NETWORK (1984)
  • HARAO Masateru ID: 9000022369799

    Articles in CiNii:1

    • ANALOGICAL REASONING OF NATURAL DEDUCTION PROOF BASED ON HIGHER ORDER ABSTRACTION (1992)
  • HARAO Masateru ID: 9000258629940

    九州工業大学情報工学部 (2005 from CiNii)

    Articles in CiNii:1

    • 自動類推証明のための射影ラベル付けに基づく効率的スキーママッチング (2005)
  • Harao Masateru ID: 9000017726921

    Department of Information Technology, Kyushu Institute of Technology (2000 from CiNii)

    Articles in CiNii:2

    • Analysis of Anaerobe Infectious Diseases by Using Data Mining Techniques (2000)
    • Data Mining in Infectious Diseases Database (2000)
  • Harao Masateru ID: 9000023797812

    Articles in CiNii:1

    • Tractable and intractable second-order matching problems (2004)
  • Harao Masateru ID: 9000258449651

    九工大 (2004 from CiNii)

    Articles in CiNii:1

    • An analogical automatical proof system by using lemmas (2004)
  • Harao Masateru ID: 9000258449656

    九工大 (2004 from CiNii)

    Articles in CiNii:1

    • The characteristic of traffic control using the multi-agent model (2004)
  • Harao Masateru ID: 9000258449759

    九工大 (2004 from CiNii)

    Articles in CiNii:1

    • The Simulation and Analysis of Argument Agreement Formation Using the Two-Layer Multi-Agent Model (2004)
  • Harao Masateru ID: 9000258450095

    九工大 (2004 from CiNii)

    Articles in CiNii:1

    • The Automatic Copying-down-a-tune System Using Beat Recognition And Repeat Detection (2004)
  • Harao Masateru ID: 9000258450098

    九工大 (2004 from CiNii)

    Articles in CiNii:1

    • Development of the Instrumental Performance Practice Support System (2004)
  • Harao Masateru ID: 9000258453998

    Kyushu Institute of Technology (2005 from CiNii)

    Articles in CiNii:1

    • Reconstruction of a Generic Automatic Theorem Prover as a Web Application (2005)
  • Harao Masateru ID: 9000258454048

    Kyushu Institute of Technology (2005 from CiNii)

    Articles in CiNii:1

    • Performance Practice Support System for Beginners (2005)
  • Harao Masateru ID: 9000258454065

    Kyushu Institute of Technology (2005 from CiNii)

    Articles in CiNii:1

    • Automatic Music Transcription System by Using Beat Tracking (2005)
  • Harao Masateru ID: 9000258454136

    Kyushu Institute of Technology (2005 from CiNii)

    Articles in CiNii:1

    • The q-Gram Distance for Ordered Unlabeled Trees (2005)
  • Harao Masateru ID: 9000258454143

    Kyushu Institute of Technology (2005 from CiNii)

    Articles in CiNii:1

    • Extraction of Maximal Frequent Few-Overlapped Monotone DNF Formulas (2005)
  • 1 / 3
Page Top