Magnetic resonance imaging (MRI) tasks often involve multiple contrasts....
Verifying the functional correctness of programs with both classical and...
We explore conditions for when the gradient of a deep declarative node c...
Green Light Optimal Speed Advisory (GLOSA) system suggests speeds to veh...
Road network digital twins (RNDTs) play a critical role in the developme...
This paper addresses learning end-to-end models for time series data tha...
Semantic communication is envisioned as a promising technique to break
t...
Skill-based reinforcement learning (RL) has emerged as a promising strat...
Although deep-learning based methods for monocular pedestrian detection ...
6-DoF visual localization systems utilize principled approaches rooted i...
Road segmentation in challenging domains, such as night, snow or rain, i...
Federated learning (FL) allows multiple clients to collectively train a
...
Verifying quantum systems has attracted a lot of interest in the last
de...
Ride-hailing is rapidly changing urban and personal transportation. Ride...
Noisy labels damage the performance of deep networks. For robust learnin...
The abductive natural language inference task (αNLI) is proposed to
infe...
Joint extraction of entities and relations from unstructured texts is a
...
Visual localization techniques often comprise a hierarchical localizatio...
Verifying quantum systems has attracted a lot of interests in the last
d...
Fidelity is one of the most widely used quantities in quantum informatio...
The COVID-19 is sweeping the world with deadly consequences. Its contagi...
Unsupervised homogeneous network embedding (NE) represents every vertex ...
Automatic prostate segmentation in transrectal ultrasound (TRUS) images ...
The notion of program sensitivity (aka Lipschitz continuity) specifies t...
Connected and automated vehicles (CAVs) are expected to yield significan...
Connected and automated vehicles (CAVs) are poised to reshape transporta...
The reparameterization trick is widely used in variational inference as ...
The so-called reparameterization trick is widely used in variational
inf...
City-wide package delivery becomes popular due to the dramatic rise of o...
A major problem in road network analysis is discovery of important
cross...
The triangulation of images has become an active research area in recent...