( en | de | ru )

 

Disambiguation of "Koshimura, Miyuki"

Author of the publication

copydeleteadd this publication to your clipboard
A Method for Query Expansion Using the Related Word Extraction Algorithm.

, , , , , and . Web Intelligence/IAT Workshops, page 41-44. IEEE Computer Society, (2008)978-0-7695-3496-1.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Miyuki Ozeki

Miyuki Maekawa

 

Other publications of authors with the same name

A Method for Query Expansion Using the Related Word Extraction Algorithm., , , , , and . Web Intelligence/IAT Workshops, page 41-44. IEEE Computer Society, (2008)978-0-7695-3496-1.Model Generation with Boolean Constraints., , and . LPAR, volume 2250 of Lecture Notes in Computer Science, page 299-308. Springer, (2001)Efficient Minimal Model Generation Using Branching Lemmas., , and . CADE, volume 1831 of Lecture Notes in Computer Science, page 184-199. Springer, (2000)Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation., , , , , and . PRIMA, volume 10621 of Lecture Notes in Computer Science, page 143-159. Springer, (2017)A Hybrid Encoding of Pseudo-Boolean Constraints into CNF., , and . TAAI, page 9-12. IEEE Computer Society, (2017)Robust Weighted Partial Maximum Satisfiability Problem: Challenge to σ2P-Complete Problem., , , , and . PRICAI (1), volume 13629 of Lecture Notes in Computer Science, page 17-31. Springer, (2022)MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications., , and . TABLEAUX, volume 1227 of Lecture Notes in Computer Science, page 1-15. Springer, (1997)A Model Generation Based Theorem Prover MGTP for First-Order Logic., , , and . Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 178-213. Springer, (2002)QMaxSAT version 0.3 & 0.4., , , and . TABLEAUX (Workshops, Tutorials, and Short Papers), volume IAM-11-002 of Technical Report, page 7-15. (2011)Rule Extraction from Blog Using Inductive Logic Programming., , , and . Web Intelligence/IAT Workshops, page 269-272. IEEE Computer Society, (2010)978-0-7695-4191-4.