( en | de | ru )

 

Disambiguation of "Fujita, Hiroshi"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Toko Fujita

Buntaro Fujita

Masayuki Fujita

Munehisa Fujita

Masakatsu Fujita

 

Other publications of authors with the same name

MaxSAT Encoding for MC-Net-Based Coalition Structure Generation Problem with Externalities., , , and . IEICE Trans. Inf. Syst., 97-D (7): 1781-1789 (2014)Automated measurement of mandibular cortical width on dental panoramic radiographs., , , , , , , , , and . Int. J. Comput. Assist. Radiol. Surg., 8 (6): 877-885 (2013)Zone division model for capacity analysis in multi-hop data acquisition systems with hidden nodes., , , , and . PIMRC, page 2459-2463. IEEE, (2013)Low-overhead and high-accuracy failure detection method for wireless multi-hop ad hoc networks., , , , , , , and . IWCMC, page 80-85. IEEE, (2014)Energy-efficiency of load-balancing routing for wireless convergecast networks: Centralized versus distributed implementation., , , , , , and . IWCMC, page 343-348. IEEE, (2015)Automated microaneurysm detection method based on eigenvalue analysis using hessian matrix in retinal fundus images., , , , and . EMBC, page 5873-5876. IEEE, (2013)Preliminary study on the automated skull fracture detection in CT images using black-hat transform., , , , , and . EMBC, page 6437-6440. IEEE, (2016)Artery and vein diameter ratio measurement based on improvement of arteries and veins segmentation on retinal images., , , , , and . EMBC, page 1336-1339. IEEE, (2016)Automated blood vessel extraction using local features on retinal images., , , , , , and . Medical Imaging: Computer-Aided Diagnosis, volume 9785 of SPIE Proceedings, page 97852F. SPIE, (2016)N-level Modulo-Based CNF encodings of Pseudo-Boolean constraints for MaxSAT., , and . Constraints An Int. J., 24 (2): 133-161 (2019)