共 50 条
- [11] Selecting Algorithms for Black Box Matrices Checking for Matrix Properties That Can Simplify ComputationsPROCEEDINGS OF THE 2016 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC 2016), 2016, : 207 - 214Eberly, Wayne
- [12] Selecting Data to Clean for Fact Checking: Minimizing Uncertainty vs. Maximizing SurprisePROCEEDINGS OF THE VLDB ENDOWMENT, 2019, 12 (13): : 2408 - 2421Sintos, StavrosAgarwal, Pankaj K.Yang, Jun
- [13] Selecting Fault Tolerant Styles for Third-Party Components with Model Checking SupportCOMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5582 : 69 - 86Li, JunguoChen, XiangpingHuang, GangMei, HongChauvel, Franck
- [14] Duplicate checking Strategies for Selecting Topics for Graduation Thesis Based on Maximum Public Sequence2019 3RD INTERNATIONAL WORKSHOP ON RENEWABLE ENERGY AND DEVELOPMENT (IWRED 2019), 2019, 267Yu, GuoruiHuang, LiSun, JiewenLiao, Shangchun
- [15] Selecting and checking a binomial response generalized linear model using phi-divergencesJOURNAL OF STATISTICAL PLANNING AND INFERENCE, 2009, 139 (09) : 3038 - 3049Pardo, J. A.Pardo, M. C.
- [16] JOURNALISM AND FACT-CHECKING: typification of sources used for checking and criteria for selecting fact-checked material - an analysis by Agencia Lupa and Aos FatosBRAZILIAN JOURNALISM RESEARCH, 2020, 16 (02) : 368 - 393Damasceno, Daniel De RezendePatricio, Edgard
- [17] Selecting Critical Implications with Set-Covering Formulation for SAT-Based Bounded Model Checking2013 IEEE 31ST INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2013, : 390 - 395Elbayoumi, MahmoudHsiao, Michael S.ElNainay, Mustafa