( en | de | ru )

 

Disambiguierung von "Koshimura, Miyuki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evaluating Reranking Methods using Wikipedia Features.

, , , , und . ICAART (1), Seite 376-381. SciTePress, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Miyuki Ozeki

Miyuki Maekawa

 

Weitere Publikationen von Autoren mit dem selben Namen

A Model Generation Based Theorem Prover MGTP for First-Order Logic., , , und . Computational Logic: Logic Programming and Beyond, Volume 2408 von Lecture Notes in Computer Science, Seite 178-213. Springer, (2002)MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications., , und . TABLEAUX, Volume 1227 von Lecture Notes in Computer Science, Seite 1-15. Springer, (1997)Efficient Minimal Model Generation Using Branching Lemmas., , und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 184-199. Springer, (2000)A Hybrid Encoding of Pseudo-Boolean Constraints into CNF., , und . TAAI, Seite 9-12. IEEE Computer Society, (2017)A Method for Query Expansion Using the Related Word Extraction Algorithm., , , , , und . Web Intelligence/IAT Workshops, Seite 41-44. IEEE Computer Society, (2008)978-0-7695-3496-1.Model Generation with Boolean Constraints., , und . LPAR, Volume 2250 von Lecture Notes in Computer Science, Seite 299-308. Springer, (2001)Coalition Structure Generation for Partition Function Games Utilizing a Concise Graphical Representation., , , , , und . PRIMA, Volume 10621 von Lecture Notes in Computer Science, Seite 143-159. Springer, (2017)Robust Weighted Partial Maximum Satisfiability Problem: Challenge to σ2P-Complete Problem., , , , und . PRICAI (1), Volume 13629 von Lecture Notes in Computer Science, Seite 17-31. Springer, (2022)Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving., , , und . CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 176-190. Springer, (1997)Abstract Model Generation for Preprocessing Clause Sets., , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 67-78. Springer, (2004)