Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Guanfeng Wu"'
Autor:
Guanfeng Wu, Abbas Haider, Xing Tian, Erfan Loweimi, Chi Ho Chan, Mengjie Qian, Awan Muhammad, Ivor Spence, Rob Cooper, Wing W. Y. Ng, Josef Kittler, Mark Gales, Hui Wang
Publikováno v:
IET Computer Vision, Vol 18, Iss 7, Pp 1017-1033 (2024)
Abstract As the proliferation of video content continues, and many video archives lack suitable metadata, therefore, video retrieval, particularly through example‐based search, has become increasingly crucial. Existing metadata often fails to meet
Externí odkaz:
https://doaj.org/article/eacc9f65fe8e418f8b73578fc3fffb15
Publikováno v:
International Journal of Computational Intelligence Systems, Vol 12, Iss 2 (2019)
Most of the advanced first-order logic automated theorem proving (ATP) systems adopt binary resolution methods as the core inference mechanism, where only two clauses are involved and a complementary pair of literals are eliminated during each deduct
Externí odkaz:
https://doaj.org/article/e27b6d34fee34a13aed20957c5677328
Publikováno v:
International Journal of Computational Intelligence Systems, Vol 12, Iss 1 (2018)
It is of great theoretical and practical significance to develop the efficient SAT solvers due to its important applications in hardware and software verifications and so on, and learnt clauses play the crucial role in state of the art SAT solvers. I
Externí odkaz:
https://doaj.org/article/620c78f56f6048c0bcea64c7044bd809
Publikováno v:
International Journal of Computational Intelligence Systems, Vol 11, Iss 1 (2018)
An improved adaptive genetic algorithm is proposed for solving 3-SAT problems based on effective restart and greedy strategy in this paper. Several new characteristics of the algorithm are developed. According to the shortcomings of the adaptive gene
Externí odkaz:
https://doaj.org/article/8495db7e7fb64780880fe7d85b7c9edf
Publikováno v:
Symmetry, Vol 10, Iss 11, p 553 (2018)
Due to scale and complexity of first-order formulas, simplifications play a very important role in first-order theorem proving, in which removal of clauses and literals identified as redundant is a significant component. In this paper, four types of
Externí odkaz:
https://doaj.org/article/bd6142485d644593aaac7278806e3504
Publikováno v:
Information Sciences. 622:337-356
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::517604a31afca2ec30199a774b8d8f9e
https://doi.org/10.1016/j.ins.2022.11.128
https://doi.org/10.1016/j.ins.2022.11.128
Publikováno v:
Machine Learning, Multi Agent and Cyber Physical Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::92b590e7518bb074aa26d2e2ec463616
https://doi.org/10.1142/9789811269264_0075
https://doi.org/10.1142/9789811269264_0075
Publikováno v:
Machine Learning, Multi Agent and Cyber Physical Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::625ae60a42867d2e298570f975f1c338
https://doi.org/10.1142/9789811269264_0027
https://doi.org/10.1142/9789811269264_0027
Publikováno v:
Machine Learning, Multi Agent and Cyber Physical Systems.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9287a66cb3d692d580748ec14dc6c6a
https://doi.org/10.1142/9789811269264_0039
https://doi.org/10.1142/9789811269264_0039
Publikováno v:
Computational Intelligence. 37:1706-1744
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::502253f5c8e04f31b029e285ce262828
https://doi.org/10.1111/coin.12438
https://doi.org/10.1111/coin.12438