
Model Checking in Large-Scale Dataset via Structure-Adaptive-Sampling
Author(s) -
Yi Han,
Pibo Ma,
Haojie Ren,
Zhaojun Wang
Publication year - 2023
Publication title -
statistica sinica
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 1.24
H-Index - 77
eISSN - 1996-8507
pISSN - 1017-0405
DOI - 10.5705/ss.202020.0303
Subject(s) - computer science , scale (ratio) , sampling (signal processing) , adaptive sampling , data mining , statistics , mathematics , monte carlo method , geography , computer vision , cartography , filter (signal processing)