Human mesh reconstruction from a single image is challenging in the pres...
Image-Text Retrieval (ITR) is essentially a ranking problem. Given a que...
As it is hard to calibrate single-view RGB images in the wild, existing ...
3D shape analysis has been widely explored in the era of deep learning.
...
Quantitative program synthesis aims to generate a program that satisfies...
Safety is a top priority for civil aviation. Data mining in digital Flig...
Traversals are commonly seen in tree data structures, and
performance-en...
Syntax-guided synthesis aims to find a program satisfying semantic
speci...