共 50 条
- [3] Checking the validity of parametric models using nonparametric estimation: the PLRT approach [J]. DIMENSION REDUCTION, COMPUTATIONAL COMPLEXITY AND INFORMATION, 1998, 30 : 383 - 390
- [5] Learning Nonparametric Forest Graphical Models with Prior Information [J]. ARTIFICIAL INTELLIGENCE AND STATISTICS, VOL 54, 2017, 54 : 672 - 680
- [6] Reducing CTL-live Model Checking to First-Order Logic Validity Checking [J]. 2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 215 - 218