共 50 条
- [32] Mechanization of a proof of string-preprocessing in Boyer-Moore's pattern matching algorithm EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 68 - 77
- [35] A Framework for Parallel Boyer-Moore-Quick Search Algorithm (P-BM-QS) VISION 2020: SUSTAINABLE ECONOMIC DEVELOPMENT, INNOVATION MANAGEMENT, AND GLOBAL GROWTH, VOLS I-IX, 2017, 2017, : 1623 - 1628
- [36] Enhanced pattern matching performance using improved boyer moore horspool Algorithm Hong, D. (dear_red9@163.com), 1600, Advanced Institute of Convergence Information Technology (07):
- [39] Efficient extraction method for closed loops using a graph search technique IEICE Trans Fund Electron Commun Comput Sci, 5 (583-586):
- [40] Shape Extraction Method using Search for Convex Hull by Genetic Algorithm 2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 1677 - 1683