The following pages link to Lifeng He (Q230828):
Displayed 14 items.
- Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
- Inferring solids composed of linear and quadratic surfaces from incomplete three views (Q1415936) (← links)
- \(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE (Q1429427) (← links)
- Fast connected-component labeling (Q2270831) (← links)
- An algorithm for connected-component labeling, hole labeling and Euler number computing (Q2434594) (← links)
- (Q3595945) (← links)
- (Q4448899) (← links)
- Configuration-Transition-Based Connected-Component Labeling (Q4591989) (← links)
- A Very Fast Algorithm for Simultaneously Performing Connected-Component Labeling and Euler Number Computing (Q4612951) (← links)
- (Q4708193) (← links)
- (Q4801216) (← links)
- R-SATCHMO: Refinements on I-SATCHMO (Q4820462) (← links)
- Two Efficient Label-Equivalence-Based Connected-Component Labeling Algorithms for 3-D Binary Images (Q5370149) (← links)
- I-SATCHMO: An improvement of SATCHMO (Q5956123) (← links)