A General Formal Method for Manifold Coverage Analysis of Satellite Constellations.
Xiaoyu ChenZhiming SongGuangming DaiMaocai WangEmiliano OrtoreChristian CirciPublished in: IEEE Trans. Aerosp. Electron. Syst. (2022)
Keyphrases
- pairwise
- segmentation method
- high precision
- data analysis
- preprocessing
- special case
- cost function
- dynamic programming
- experimental evaluation
- detection method
- data sets
- computationally efficient
- computational cost
- classification method
- closely related
- synthetic data
- statistical analysis
- semi supervised
- neural network