Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zhiping Shi
The Formalization of Discrete Fourier Transform in HOL
Mathematical Problems in Engineering
Mathematics
Engineering
A Confidence Weighted Real-Time Depth Filter for 3D Reconstruction
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications