Term Weight Algorithm Oriented Terms - Low Frequency Rather Than Little Occurrences. | 0 | 0.34 | 2020 |
Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction. | 0 | 0.34 | 2020 |
A Reconfigurable Address Translation Cache for Interconnect Network of High Performance Computer. | 0 | 0.34 | 2019 |
The Ant Algorithm for Solving Robot Path Planning Problem | 12 | 1.26 | 2005 |