Search Results1-20 of  20

  • Iwanuma Koji ID: 9000010035897

    Articles in CiNii:1

    • An On-Line Algorithm for Extracting Frequent Subsequences from a Single Very-Long Data Sequence (テーマ:特集「宇宙とAI」および一般) (2005)
  • IWANUMA Koji ID: 1000030176557

    Department of Research Interdisciplinary, Graduate School of Medicine and Engineering, University of Yamanashi (2013 from CiNii)

    Articles in CiNii:97

    • A Case-Based transformation from HTML to XML (2000)
    • A Study on First-order Logic Compiler : Preliminary Experiments (1993)
    • A Case-Based Semi-automatic Transformation from HTML Documents to XML Ones : Using the Similarity between HTML Documents Constituting a Series (2001)
  • IWANUMA Koji ID: 9000004762577

    Department of Electrical Engineering and Computer Science Yamanashi University (1997 from CiNii)

    Articles in CiNii:1

    • Semantic Model Elimination : Toward Efficient Equality Proving : Extended Abstract (1997)
  • IWANUMA Koji ID: 9000004805121

    the Department of Electrical Engineering and Computer Science, Yamanashi University (1998 from CiNii)

    Articles in CiNii:1

    • Strong Contraction in Model Elimination Calculus: Implementation in a PTTP - Based Theorem Prover (1998)
  • IWANUMA Koji ID: 9000004806060

    Department of Electrical Engineering and Computer Science, Yamanashi University (1999 from CiNii)

    Articles in CiNii:1

    • Finite Approximations of Predicate Circumscription (1999)
  • IWANUMA Koji ID: 9000006859218

    Interdisciplinary Graduate School of Medicine and Engineering, University of Yamanashi (2008 from CiNii)

    Articles in CiNii:2

    • An Improvement for Lossless Data Compression Based on Grammatical Inference (2008)
    • F-019 A Lossless Data Compression Based on Grammatical Inference (2008)
  • IWANUMA Koji ID: 9000258238291

    Interdisciplinary Graduate School of Medical and Engineering, University of Yamanashi (2011 from CiNii)

    Articles in CiNii:1

    • First-Order Equational Reasoning: Theory and Practice (2011)
  • IWANUMA Koji ID: 9000258238482

    University of Yamanashi (2012 from CiNii)

    Articles in CiNii:1

    • GlueMiniSat 2.2.5: A Fast SAT Solver with An Aggressive Acquiring Strategy of Glue Clauses (2012)
  • Iwanuma Koji ID: 9000020738170

    Interdisciplinary Graduate School of Medical and Engineering, University of Yamanashi (2010 from CiNii)

    Articles in CiNii:1

    • Mining Asynchronous Interesting Sequential Patterns based on Frequency and Self-Information (2010)
  • Iwanuma Koji ID: 9000021108209

    Interdisciplinary Graduate School of Medical and Engineering, University of Yamanashi (2009 from CiNii)

    Articles in CiNii:1

    • A Word Extraction Method from Newspaper Articles Based on Time Infomation for Event Sequence Mining (2009)
  • Iwanuma Koji ID: 9000258627743

    Department of Computer Science and Media Engineering, Yamanashi University (2002 from CiNii)

    Articles in CiNii:1

    • The Effect of Communication Network Structures within Multi-Agent Systems (2002)
  • Iwanuma Koji ID: 9000283562908

    Interdisciplinary Graduate School of Medical and Engineering, University of Yamanashi (2014 from CiNii)

    Articles in CiNii:1

    • An Efficient Top-Down Mining of Negative Association Rules (2014)
  • Iwanuma Koji ID: 9000345273604

    Department of Computer Science and Engineering, Graduate Faculty of Interdisciplinary Research, University of Yamanash (2016 from CiNii)

    Articles in CiNii:1

    • A Completeness on an Online ϵ-Approximation Algorithm for Closed Frequent Itemset Mining in a Transactional Stream (2016)
  • Koji Iwanuma ID: 9000348887603

    Articles in CiNii:1

    • Speculative Computation by Abduction in Agent Communication (2003)
  • Koji Iwanuma ID: 9000394049120

    Articles in CiNii:1

    • Knowledge Representation and Inference Based on First-Order Modal Logic (1988)
  • Koji Iwanuma ID: 9000394058533

    Articles in CiNii:1

    • A Propositional Model Elimination Tableau Based on Genetic Programming (1999)
  • Koji Iwanuma ID: 9000394061407

    Articles in CiNii:1

    • 特集「定理証明, 推論関係の新技術」にあたって (2001)
  • Koji Iwanuma ID: 9000394061432

    Articles in CiNii:1

    • Recent Technologies of Automated Theorem Proving : Around ATP System Completion CASC (Special Issue : "New Technologies in Automated Reasoning and Theorem Proving") (2001)
  • Koji Iwanuma ID: 9000394068757

    Articles in CiNii:1

    • SMT: Satisfiability Modulo Theories(<Special Issue>Recent Advances in SAT Techniques) (2010)
  • Koji Iwanuma ID: 9000394070634

    Articles in CiNii:1

    • On Intrestingness Measures for Sequential Text Pattern Mining(<Special Issue>Development of Sequential Pattern Mining and Its Applications) (2012)
Page Top