Author of the publication

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.

No persons found for author name Hasegawa, Ryuzo
add a person with the name Hasegawa, Ryuzo
 

Other publications of authors with the same name

Lazy Model Generation For Improving The Efficiency of Forward Reasoning Theorem Provers., , and . IWAR, volume A-19 of IFIP Transactions, page 221-238. North-Holland, (1992)Evaluating Reranking Methods using Wikipedia Features., , , , and . ICAART (1), page 376-381. SciTePress, (2011)Proof Simplification for Model Generation and Its Applications., and . LPAR, volume 1955 of Lecture Notes in Computer Science, page 96-113. Springer, (2000)MGTP: A Parallel Theorem Prover Based on Lazy Model Generation., , and . CADE, volume 607 of Lecture Notes in Computer Science, page 776-780. Springer, (1992)Model Generation Theorem Provers on a Parallel Inference Machine., , , and . FGCS, page 357-375. IOS Press, (1992)A continuation-based noninterruptible multithreading processor architecture., , , and . The Journal of Supercomputing, 47 (2): 228-252 (2009)QMaxSAT: A Partial Max-SAT Solver., , , and . JSAT, 8 (1/2): 95-100 (2012)Related Word Extraction Algorithm for Query Expansion - An Evaluation., , , , and . PRIMA Workshops, volume 325 of Studies in Computational Intelligence, page 33-48. (2009)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.Trendspotter Detection System for Twitter., , , , and . ICAART (1), page 625-628. SciTePress, (2011)