The regression test suite, a key resource for managing program evolution...
Deep learning-based edge detectors heavily rely on pixel-wise labels whi...
The technology of formal software verification has made spectacular adva...
Background: Medical images are more difficult to acquire and annotate th...
A successful automated program proof is, in software verification, the
u...
In software verification, a successful automated program proof is the
ul...
An efficient algorithm to solve the k shortest non-homotopic path planni...
There have been two streams in the 3D detection from point clouds:
singl...
As the third-generation neural networks, Spiking Neural Networks (SNNs) ...
In this report, we introduce our winning solution to the Real-time 3D
De...
Recent progress in text classification has been focused on high-resource...
A practical autonomous driving system urges the need to reliably and
acc...
This technical report presents the online and real-time 2D and 3D
multi-...
In this technical report, we introduce our winning solution "HorizonLiDA...
High-efficiency point cloud 3D object detection operated on embedded sys...
Formal analysis of functional and non-functional requirements is crucial...
Ensuring correctness of timed behaviors in cyber-physical systems (CPS) ...
Modeling and analysis of timing constraints is crucial in cyber-physical...
Electronic medical records (EMRs) supports the development of machine
le...
Medical data are valuable for improvement of health care, policy making ...
We prove that by successively combining subassemblies, we can achieve
su...
Modeling and analysis of non-functional properties, such as timing
const...
Modeling and analysis of timing constraints is crucial in automotive sys...
The software development for Cyber-Physical Systems (CPS), e.g., autonom...
Modeling and analysis of nonfunctional requirements is crucial in automo...
In this paper, we introduce a web-scale general visual search system dep...
Despite their exceptional flexibility and popularity, the Monte Carlo me...