research
∙
09/08/2023
Seeding Contradiction: a fast method for generating full-coverage test suites
The regression test suite, a key resource for managing program evolution...
share
research
∙
03/21/2023
The Treasure Beneath Multiple Annotations: An Uncertainty-aware Edge Detector
Deep learning-based edge detectors heavily rely on pixel-wise labels whi...
research
∙
01/05/2023
Lessons from Formally Verified Deployed Software Systems
The technology of formal software verification has made spectacular adva...
research
∙
10/17/2022
Cutting-Splicing data augmentation: A novel technology for medical image segmentation
Background: Medical images are more difficult to acquire and annotate th...
research
∙
08/21/2022
A Failed Proof Can Yield a Useful Test
A successful automated program proof is, in software verification, the u...
research
∙
08/21/2022
Improving Counterexample Quality from Failed Program Verification
In software verification, a successful automated program proof is the ul...
research
∙
07/27/2022
Efficient Search of the k Shortest Non-Homotopic Paths by Eliminating Non-k-Optimal Topologies
An efficient algorithm to solve the k shortest non-homotopic path planni...
research
∙
12/16/2021
AFDetV2: Rethinking the Necessity of the Second Stage for Object Detection from Point Clouds
There have been two streams in the 3D detection from point clouds: singl...
research
∙
12/13/2021
Human-Level Control through Directly-Trained Deep Spiking Q-Networks
As the third-generation neural networks, Spiking Neural Networks (SNNs) ...
research
∙
07/29/2021
Real-Time Anchor-Free Single-Stage 3D Detection with IoU-Awareness
In this report, we introduce our winning solution to the Real-time 3D De...
research
∙
10/23/2020
KINNEWS and KIRNEWS: Benchmarking Cross-Lingual Text Classification for Kinyarwanda and Kirundi
Recent progress in text classification has been focused on high-resource...
research
∙
06/28/2020
2nd Place Solution for Waymo Open Dataset Challenge – 2D Object Detection
A practical autonomous driving system urges the need to reliably and acc...
research
∙
06/28/2020
1st Place Solutions for Waymo Open Dataset Challenges – 2D and 3D Tracking
This technical report presents the online and real-time 2D and 3D multi-...
research
∙
06/28/2020
1st Place Solution for Waymo Open Dataset Challenge – 3D Detection and Domain Adaptation
In this technical report, we introduce our winning solution "HorizonLiDA...
research
∙
06/23/2020
AFDet: Anchor Free One Stage 3D Object Detection
High-efficiency point cloud 3D object detection operated on embedded sys...
research
∙
10/31/2019
Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems
Formal analysis of functional and non-functional requirements is crucial...
research
∙
10/31/2019
Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems
Ensuring correctness of timed behaviors in cyber-physical systems (CPS) ...
research
∙
04/15/2019
SMT-based Probabilistic Analysis of Timing Constraints in Cyber-Physical Systems
Modeling and analysis of timing constraints is crucial in cyber-physical...
research
∙
03/22/2019
Patient Clustering Improves Efficiency of Federated Machine Learning to predict mortality and hospital stay time using distributed Electronic Medical Records
Electronic medical records (EMRs) supports the development of machine le...
research
∙
11/30/2018
LoAdaBoost:Loss-Based AdaBoost Federated Machine Learning on medical Data
Medical data are valuable for improvement of health care, policy making ...
research
∙
07/04/2018
Efficient Parallel Self-Assembly Under Uniform Control Inputs
We prove that by successively combining subassemblies, we can achieve su...
research
∙
06/29/2018
Probabilistic Analysis of Weakly-Hard Real-Time Systems
Modeling and analysis of non-functional properties, such as timing const...
research
∙
06/20/2018
Formal Specification & Analysis of Autonomous Systems in PrCCSL/Simulink Design Verifier
Modeling and analysis of timing constraints is crucial in automotive sys...
research
∙
03/16/2018
Model-based Verification and Validation of an Autonomous Vehicle System
The software development for Cyber-Physical Systems (CPS), e.g., autonom...
research
∙
03/16/2018
Formal Analysis of Non-functional Properties for a Cooperative Automotive System
Modeling and analysis of nonfunctional requirements is crucial in automo...
research
∙
02/14/2018
Web-Scale Responsive Visual Search at Bing
In this paper, we introduce a web-scale general visual search system dep...
research
∙
10/10/2016
