Open AccessModel Checking in Large-Scale Dataset via Structure-Adaptive-Sampling
Author(s) -
Yixin Han,
Ping Ma,
Haojie Ren,
Zhaojun Wang
Publication year - 2021
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)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom