Miyuki Koshimura

	2012
24		Yuichi Takiguchi, Koji Kurakado, Tetsuya Oishi, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Evaluating Reranking Methods based on Link Co-occurrence and Category in Wikipedia. ICAART (1) 2012: 277-282
23		Miyuki Koshimura, Tong Zhang, Hiroshi Fujita, Ryuzo Hasegawa: QMaxSAT: A Partial Max-SAT Solver. JSAT 8(1/2): 95-100 (2012)
	2011
22		Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: An efficient hybrid particle swarm optimization for the Job Shop Scheduling Problem. FUZZ-IEEE 2011: 622-626
21		Xue-Feng Zhang, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Combining PSO and local search to solve scheduling problems. GECCO (Companion) 2011: 347-354
20		Koji Kurakado, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Evaluating Reranking Methods using Wikipedia Features. ICAART (1) 2011: 376-381
19		Wataru Shirakihara, Tetsuya Oishi, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Trendspotter Detection System for Twitter. ICAART (1) 2011: 625-628
	2010
18		Kentaro Hori, Tetsuya Oishi, Tsunenori Mine, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Related Word Extraction from Wikipedia for Web Retrieval Assistance. ICAART (2) 2010: 192-199
17		Noriaki Chikara, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Rule Extraction from Blog Using Inductive Logic Programming. Web Intelligence/IAT Workshops 2010: 269-272
16		Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa: Solving Open Job-Shop Scheduling Problems by SAT Encoding. IEICE Transactions 93-D(8): 2316-2318 (2010)
	2008
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
	2007
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
	2004
12		Miyuki Koshimura, Mayumi Umeda, Ryuzo Hasegawa: Abstract Model Generation for Preprocessing Clause Sets. LPAR 2004: 67-78
	2002
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
	2001
10		Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa: Model Generation with Boolean Constraints. LPAR 2001: 299-308
	2000
9		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: Efficient Minimal Model Generation Using Branching Lemmas. CADE 2000: 184-199
8		Miyuki Koshimura, Ryuzo Hasegawa: Proof Simplification for Model Generation and Its Applications. LPAR 2000: 96-113
7		Miyuki Koshimura, Megumi Kita, Ryuzo Hasegawa: Minimal Model Generation with Factorization and Constrained Search. PRICAI 2000: 793
	1997
6		Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura: Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE 1997: 176-190
5		Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura: MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications. TABLEAUX 1997: 1-15
	1992
4		Katsumi Inoue, Miyuki Koshimura, Ryuzo Hasegawa: Embedding Negation as Failure into a Model Generation Theorem Prover. CADE 1992: 400-415
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

Coauthor Index

1	Noriaki Chikara	[17]
2	Hiroshi Fujita	[1] [2] [3] [5] [9] [10] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24]
3	Masayuki Fujita	[2]
4	Ryuzo Hasegawa	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24]
5	Kentaro Hori	[18]
6	Katsumi Inoue	[4] [6]
7	Yoshiaki Kambara	[15]
8	Megumi Kita	[7]
9	Koji Kurakado	[20] [24]
10	Shunsuke Kuramoto	[13] [14]
11	Tsunenori Mine	[13] [14] [15] [18]
12	Hidetomo Nabeshima	[16]
13	Hiroto Nagata	[13]
14	Yoshihiko Ohta	[6]
15	Tetsuya Oishi	[13] [14] [15] [18] [19] [20] [24]
16	Yasuyuki Shirai	[11]
17	Wataru Shirakihara	[19]
18	Yuichi Takiguchi	[24]
19	Mayumi Umeda	[12]
20	Tong Zhang	[23]
21	Xue-Feng Zhang	[21] [22]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page