Traffic forecasting is a challenging task due to the complex spatio-temp...
Although state-of-the-art (SOTA) SAT solvers based on conflict-driven cl...
3D panoptic segmentation is a challenging perception task that requires ...
Graph Neural Networks (GNNs) have shown great power in various domains.
...
Dose-finding studies often include an up-and-down dose transition rule t...
Given a command, humans can directly execute the action after thinking o...
Determining the satisfiability of Boolean constraint-satisfaction proble...
We propose and study the graph-theoretical problem PM-VC: perfect matchi...
Boolean MaxSAT, as well as generalized formulations such as Min-MaxSAT a...
The generalization gap on the long-tailed data sets is largely owing to ...
We develop a new continual meta-learning method to address challenges in...
One-class novelty detection is conducted to identify anomalous instances...
Nowadays, Deep Convolutional Neural Networks (DCNNs) are widely used in
...
Deep hashing has been widely applied to large-scale image retrieval by
e...
We present a novel, practical, and provable approach for solving diagona...
The development of aerial autonomy has enabled aerial robots to fly agil...
We explore the potential of continuous local search (CLS) in SAT solving...
Due to its superior agility and flexibility, quadrotor is popularly used...
One-class novelty detection is to identify anomalous instances that do n...
Named entity linking is to map an ambiguous mention in documents to an e...
The Boolean SATisfiability problem (SAT) is of central importance in com...
The graph isomorphism is to determine whether two graphs are isomorphic....
Temporal graphs are ubiquitous. Mining communities that are bursting in ...
In many online social networks (e.g., Facebook, Google+, Twitter, and
In...