Abstract: Image-text matching remains challenging in big data processing. Matching accuracy is influenced by various factors, including the correlation between images and texts, feature extraction and ...

Abstract: In our previous work, we have introduced a formal definition of Laplace transform in Coq, and proved a group of basic properties of Laplace transform, including linear property, frequency ...