Author of the publication

An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving.

, , , , , and . J. Comput. Sci. Technol., 22 (4): 541-553 (2007)

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.

 

Other publications of authors with the same name

The connected-component labeling problem: A review of state-of-the-art algorithms., , , , , and . Pattern Recognit., (2017)A New Connected-Component Labeling Algorithm., , , and . IEICE Trans. Inf. Syst., 98-D (11): 2013-2016 (2015)An Efficient Two-Scan Labeling Algorithm for Binary Hexagonal Images., , , , and . IEICE Trans. Inf. Syst., 97-D (12): 3244-3247 (2014)An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving., , , , , and . J. Comput. Sci. Technol., 22 (4): 541-553 (2007)A deep CNN based transfer learning method for false positive reduction., , , , , , and . Multim. Tools Appl., 78 (1): 1017-1033 (2019)A combinational algorithm for connected-component labeling and Euler number computing., , , , , , and . J. Real Time Image Process., 13 (4): 703-712 (2017)A Run-Based One-Scan Labeling Algorithm., , , and . ICIAR, volume 5627 of Lecture Notes in Computer Science, page 93-102. Springer, (2009)A Run-Based Two-Scan Labeling Algorithm., , and . ICIAR, volume 4633 of Lecture Notes in Computer Science, page 131-142. Springer, (2007)Relative Magnitude of Gaussian Curvature Using Neural Network and Object Rotation of Two Degrees of Freedom., , , , , and . MVA, page 110-113. (2007)A New Two-Scan Algorithm for Labeling Connected Components in Binary Images, , and . Proceedings of the World Congress on Engineering 2012, II, page pp1141-1146. (July 2012)