Papers - HIRATA Kouichi
-
Disjunctive Rules Extracted from MRSA Data with Verification Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
Kouichi Hirata,Keizo Yamada,Masateru Harao
Journal of Symbolic Computation 37 ( 5 ) 611 - 628 2004.05
-
Extraction of Coverings as Monotone DNF Formulas Reviewed
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 Reviewed
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 Reviewed
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 Reviewed
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara,Setsuo Arikawa
The Transactions of IEICE E86-D ( 2 ) 219 - 227 2003.02
-
Pre-Checkingに基づく効率的スキーママッチングアルゴリズム Reviewed
久保憲吾,山田敬三,平田耕一,原尾政輝
電子情報通信学会論文誌 J85-D-I ( 2 ) 143 - 151 2002.02
-
Prediction-Preserving Reducibility with Membership Queries on Formal Languages Reviewed
Kouichi HIRATA,Hiroshi SAKAMOTO (Kyushu Univ.)
Proceedings of the 13th International Symposium on Fundamentals of Computation Theory (Lecture Notes in Computer Science 2138) 172 - 183 2001.08
-
Second-Order Schema Matching Based on Projection Point Labeling Reviewed
Keizo YAMADA,Koichi HIRATA,Masateru HARAO
Proceedings of the 15th International Workshop on Unification 49 - 53 2001.06
-
On the Hardness of Learning Acyclic Conjunctive Queries Reviewed
Proceedings of the 11th International Conference on Algorithmic Learning Theory (Lecture Notes in Artificial Intelligence 1968) 238 - 251 2000.12
-
A Constructive Learning of Context-Free Languages with a Subpansive Tree Reviewed
Noriko Sugimoto,Takashi Toyoshima,Shinichi Shimozono,Kouichi Hirata
Proc. 5th International Colloquium on Grammatical Inference (Lecture Notes in Artificial Intelligence 1891) 270 - 283 2000.09