共 50 条
- [21] Coverage in Interpolation-based Model Checking PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 182 - 187
- [22] Interpolation-based Classifier Generation in XCSF 2016 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2016, : 3990 - 3998
- [23] Evaluating Interpolation-based Power Management PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, 2008, : 933 - 939
- [24] Synchronization-sensitive motion and interpolation-based frame estimation in video lossy transmission MULTIMEDIA SYSTEMS AND APPLICATIONS III, 2001, 4209 : 240 - 250
- [26] Adaptive Interpolation-Based Model Checking 2014 19TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2014, : 744 - 749