So2Sat POP - A Curated Benchmark Data Set for Population Estimation from Space on a Continental Scale.
Sugandha DodaYuanyuan WangMatthias KahlEike Jens HoffmannHannes TaubenböckXiao Xiang ZhuPublished in: CoRR (2022)
Keyphrases
- data sets
- real world
- database
- training data
- search algorithm
- search space
- data sources
- low dimensional
- scale space
- united states
- accurate estimation
- estimation algorithm
- sat solving
- scientific databases
- estimation process
- biomedical literature
- benchmark data sets
- model checking
- orders of magnitude
- space time
- learning algorithm
- genetic algorithm