IEEE

Performance Validation of Sea Surface Wind Speed Retrieval Algorithms and Products From the Chinese Tianmu-1 Constellation GNSS-R: First Results on Comparison With Other Wind ...

Abstract: The Tianmu-1 constellation is mainly based on BeiDou/Global Navigation Satellite System radio occultation (GNSS-RO) and BeiDou/GNSS reflectometry (GNSS-R) remote sensing technology, which ...
IEEE

Unification Algorithm Implementation for First-Order Logic Inference Engines

Abstract: A unification algorithm is one of the most important parts of a First-Order Logic (FOL) inference engine because it allows for the discovery of substitutions that make two logical ...