Li Huang | DeepAI

AI Chat

Featured Co-authors

Xin Li
301 publications
Yu Wang
276 publications
Yue Wang
263 publications
Yan Wang
215 publications
Qiang Liu
190 publications
Haibin Ling
101 publications
Rong Xiong
86 publications
Lei Wang
83 publications
Kun Li
68 publications
Tong Yang
38 publications
Sandor P. Fekete
33 publications

∙ 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...

0 Li Huang, et al. ∙

∙ 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...

0 Caixia Zhou, et al. ∙

∙ 01/05/2023

Lessons from Formally Verified Deployed Software Systems

The technology of formal software verification has made spectacular adva...

0 Li Huang, et al. ∙

∙ 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...

0 Lianting Hu, et al. ∙

∙ 08/21/2022

A Failed Proof Can Yield a Useful Test

A successful automated program proof is, in software verification, the u...

0 Li Huang, et al. ∙

∙ 08/21/2022

Improving Counterexample Quality from Failed Program Verification

In software verification, a successful automated program proof is the ul...

0 Li Huang, et al. ∙

∙ 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...

0 Tong Yang, et al. ∙

∙ 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...

5 Yihan Hu, et al. ∙

∙ 12/13/2021

Human-Level Control through Directly-Trained Deep Spiking Q-Networks

As the third-generation neural networks, Spiking Neural Networks (SNNs) ...

0 Guisong Liu, et al. ∙

∙ 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...

8 Runzhou Ge, et al. ∙

∙ 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...

28 Rubungo Andre Niyongabo, et al. ∙

∙ 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...

0 Sijia Chen, et al. ∙

∙ 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-...

10 Yu Wang, et al. ∙

∙ 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...

32 Zhuangzhuang Ding, et al. ∙

∙ 06/23/2020

AFDet: Anchor Free One Stage 3D Object Detection

High-efficiency point cloud 3D object detection operated on embedded sys...

12 Runzhou Ge, et al. ∙

∙ 10/31/2019

Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems

Formal analysis of functional and non-functional requirements is crucial...

0 Li Huang, et al. ∙

∙ 10/31/2019

Formal Analysis of Hybrid-Dynamic Timing Behaviors in Cyber-Physical Systems

Ensuring correctness of timed behaviors in cyber-physical systems (CPS) ...

0 Li Huang, et al. ∙

∙ 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...

0 Li Huang, et al. ∙

∙ 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...

0 Li Huang, et al. ∙

∙ 11/30/2018

LoAdaBoost:Loss-Based AdaBoost Federated Machine Learning on medical Data

Medical data are valuable for improvement of health care, policy making ...

0 Li Huang, et al. ∙

∙ 07/04/2018

Efficient Parallel Self-Assembly Under Uniform Control Inputs

We prove that by successively combining subassemblies, we can achieve su...

0 Arne Schmidt, et al. ∙

∙ 06/29/2018

Probabilistic Analysis of Weakly-Hard Real-Time Systems

Modeling and analysis of non-functional properties, such as timing const...

0 Eun-Young Kang, et al. ∙

∙ 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...

0 Eun-Young Kang, et al. ∙

∙ 03/16/2018

Model-based Verification and Validation of an Autonomous Vehicle System

The software development for Cyber-Physical Systems (CPS), e.g., autonom...

0 Eun-Young Kang, et al. ∙

∙ 03/16/2018

Formal Analysis of Non-functional Properties for a Cooperative Automotive System

Modeling and analysis of nonfunctional requirements is crucial in automo...

0 Eun-Young Kang, et al. ∙

∙ 02/14/2018

Web-Scale Responsive Visual Search at Bing

In this paper, we introduce a web-scale general visual search system dep...

0 Houdong Hu, et al. ∙

∙ 10/10/2016

Accelerate Monte Carlo Simulations with Restricted Boltzmann Machines

Despite their exceptional flexibility and popularity, the Monte Carlo me...

0 Li Huang, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world