論文 - 平田 耕一
-
Development of a Multi-Agent Based Generic Traffic Simulator 査読有り
Kosuke Ono,Takashi Hata,Toyofumi Maetani,Masateru Harao,Kouichi Hirata
Proc. Agent Network Dynamics and Intelligence (ANDI) 83 - 89 2005年06月
-
Development of a Multi-Agent Based Generic Traffic Simulator 査読有り
Kosuke Ono,Takashi Hata,Toyofumi Maetani,Masateru Harao,Kouichi Hirata
New Frontiers in Artificial Intelligence (Joint JSAI 2005 Workshop Post-Proceedings) Lecture Note in Artificial Intelligence 4012 249 - 260 2005年06月
-
On Generalization and Subsumption for Ordered Clauses 査読有り
Megumi Kuwabara,Takeshi Ogawa,Kouichi Hirata,Masateru Harao
New Frontiers in Artificial Intelligence (Joint JSAI 2005 Workshop Post-Proceedings) Lecture Notes in Artificial Intelligence 4012 212 - 223 2005年06月
-
On the Prediction of Recursive Real-Valued Functions 査読有り
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara,Setsuo Arikawa
The First CiE (Computability in Europe) Conference (CiE2005), ILLC Publication 93 - 103 2005年06月
-
Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Prunning 査読有り
Yoshikazu Shima,Kouichi Hirata,Masateru Harao
Proceedings of the 9th Pacific-Aisa Conference on Knowledge Discovery and Data Mining (PAKDD2005), Lecture Notes in Artificial Intelligence 3518 50 - 60 2005年05月
-
Disjunctive Rules Extracted from MRSA Data with Verification 査読有り
Kouichi Hirata,Yoshikazu Shima,Masateru Harao,Shigeki Yokoyama,Kimiko Matsuoka,Taeko Izumi
Proc. 1st International Conference on Complex Medical Engineering (CME2005) 326 - 330 2005年05月
-
Risk Management System for Hospital-Acquired Infection Based on Bacterial Culture Database 査読有り
Yuichi Ikenaga,Kouichi Hirata,Masateru Harao,Shigeki Yokoyama,Kimiko Matusoka
Proc. 1st International Conference on Complex Medical Engineering (CME2005) 423 - 427 2005年05月
-
Attribute Selection Measures with Possibility and Their Application to Classifying MRSA from MSSA 査読有り
Kouichi Hirata,Masateru Harao,Minoru Wada,Shigeki Yokoyama,Kimiko Matusoka
Proc. 1st International Conference on Complex Medical Engineering (CME2005) 418 - 422 2005年05月
-
Extracting Disjunctive Closed Rules from MRSA Data 査読有り
Yoshikazu Shima,Kouichi Hirata,Masateru Harao,Shigeki Yokoyama,Kimiko Matsuoka,Taeko Izumi
Proc. 1st International Conference on Complex Medical Engineering (CME2005) 315 - 321 2005年05月
-
Efficiently Computable Classes of Second Order Predicate Schema Matching Problems 査読有り
Masateru Harao,Shuping Yin,Keizo Yamada,Kouichi Hirata
Proc. 19th International Workshop on Unification (UNIF 05) 121 - 134 2005年04月
-
Efficient Second-Order Predicate Schema Matching Based on Projection Position Indexing 査読有り
Masateru Harao,Shuping Yin,Keizo Yamada,Kouichi Hirata
Proc. 5th International Workshop on the Implementation of Logics (IWIL2004) 31 - 42 2005年03月
-
Development of an Analogy-Based Generic Sequent Style Automatic Theorem Prover Amalgamated with Intractive Proving 査読有り
Keizo Yamada,Shuping Yin,Masateru Harao,Kouichi Hirat
Proc. 5th International Workshop on the Implementation of Logics (IWIL2004) 78 - 86 2005年03月
-
Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions 査読有り
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara,Setsuo Arikawa
IPSJ Transactions on Mathematical Modeling and Its Application 46 ( SIG2(TOM11) ) 1 - 11 2005年01月
-
Extracting Minimal and Closed Monotone DNF Formulas 査読有り
Yoshikazu Shima,Shinji Mitsuishi,Kouichi Hirata,Masateru Harao
Proceedings of the 7th International Conference on Discovery Science, Lecture Notes in Artificial Intelligence 3245 298 - 305 2004年10月
-
Generalization Algorithms for Second-Order Terms 査読有り
Kouichi Hirata,Takeshi Ogawa,Masateru Harao
Proceedings of the 14th International Conference on Inductive Logic Programming, Lecture Notes in Artificial Intelligence 3194 147 - 163 2004年09月
-
Tractable and Intractable Second-Order Matching Problems 査読有り
Kouichi Hirata,Keizo Yamada,Masateru Harao
Journal of Symbolic Computation 37 ( 5 ) 611 - 628 2004年05月
-
Extraction of Coverings as Monotone DNF Formulas 査読有り
Kouichi Hirata,Ryosuke Nagazumi,Masateru Harao
Proceedings of the 6th International Conference on Discovery Science (Lecture Notes in Artificial Intelligence 2843) 165 - 178 2003年10月
-
On Condensation of a Clause 査読有り
平田 耕一
Proceedings of the 13th International Conference on Inductive Logic Programming (Lecture Notes in Artificial Intelligence 2845) 164 - 179 2003年10月
-
Learning Elementary Formal Systems with Queries 査読有り
Hiroshi Sakamoto,Kouichi Hirata,Hiroki Arimura
Theoretical Computer Science 298 ( 1 ) 21 - 50 2003年04月
-
Criteria for Inductive Inference with Mind Changes and Anomalies of Recursive Real-Valued Functions 査読有り
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara,Setsuo Arikawa
The Transactions of IEICE E86-D ( 2 ) 219 - 227 2003年02月