Miyuki Koshimura (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

15		Tetsuya Oishi, Yoshiaki Kambara, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Personalized Search Using ODP-based User Profiles Created from User Bookmark. PRICAI 2008: 839-848
14		Tetsuya Oishi, Shunsuke Kuramoto, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: A Method for Query Expansion Using the Related Word Extraction Algorithm. Web Intelligence/IAT Workshops 2008: 41-44
13		Tetsuya Oishi, Shunsuke Kuramoto, Hiroto Nagata, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: User-Schedule-based Web Page Recommendation. Web Intelligence 2007: 776-779
11		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Yasuyuki Shirai: A Model Generation Based Theorem Prover MGTP for First-Order Logic. Computational Logic: Logic Programming and Beyond 2002: 178-213
10		Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Model Generation with Boolean Constraints. LPAR 2001: 299-308
9		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Efficient Minimal Model Generation Using Branching Lemmas. CADE 2000: 184-199
5		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX 1997: 1-15
3		Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: MGTP: A Parallel Theorem Prover Based on Lazy Model Generation. CADE 1992: 776-780
2		Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Model Generation Theorem Provers on a Parallel Inference Machine. FGCS 1992: 357-375
1		Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita: Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers. IWAR 1992: 221-238

Selection of 10 from 15 records - Miyuki Koshimura has 13 coauthors