Graph Neural Networks (GNNs) have shown state-of-the-art improvements in...
Satisfiability Modulo the Theory of Nonlinear Real Arithmetic, SMT(NRA) ...
Mixed trigonometric-polynomials (MTPs) are functions of the form
f(x,sin...
Electrocardiogram (ECG) is a simple non-invasive measure to identify
hea...
Triangular decomposition with different properties has been used for var...
Videos have become ubiquitous on the Internet. And video analysis can pr...
Most existing algorithms for depth estimation from single monocular imag...
Reinforcement learning (RL) algorithms have made huge progress in recent...
We study the problem of estimating the relative depth order of point pai...
We propose a robust inferential procedure for assessing uncertainties of...
We propose a likelihood ratio based inferential framework for high
dimen...