Bao Le

According to our database1, Bao Le authored at least 14 papers between 2010 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
OphNER: Named Entity Recognition for Ophthalmology Newspapers.
Proceedings of the 15th International Conference on Knowledge and Systems Engineering, 2023

Principal Components Analysis Based Imputation for Logistic Regression.
Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Applications, 2023

A Deep Learning Approach to Segment High-Content Images of the E. coli Bacteria.
Proceedings of the Advanced Concepts for Intelligent Vision Systems, 2023

2021
Semi-Supervising Learning, Transfer Learning, and Knowledge Distillation with SimCLR.
CoRR, 2021

2015
Constructing stability-based clock gating with hierarchical clustering.
Proceedings of the 25th International Workshop on Power and Timing Modeling, 2015

2014
Debugging RTL Using Structural Dominance.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2014

Simulation and satisfiability guided counter-example triage for RTL design debugging.
Proceedings of the Fifteenth International Symposium on Quality Electronic Design, 2014

Multiple clock domain synchronization in a QBF-based verification environment.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014

Automated debugging of missing assumptions.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

2013
Accelerating post silicon debug of deep electrical faults.
Proceedings of the 2013 IEEE 19th International On-Line Testing Symposium (IOLTS), 2013

Reviving erroneous stability-based clock-gating using partial Max-SAT.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
Leveraging reconfigurability to raise productivity in FPGA functional debug.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Non-solution implications using reverse domination in a modern SAT-based debugging environment.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2010
Leveraging dominators for preprocessing QBF.
Proceedings of the Design, Automation and Test in Europe, 2010


  Loading...