共 50 条
- [43] Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking PROCEEDINGS OF THE 2019 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM '19), 2019, : 22 - 34
- [44] Higher-order spatial correlation coefficients of ultrasonic backscattering signals using partial cross-correlation analysis JOURNAL OF THE ACOUSTICAL SOCIETY OF AMERICA, 2020, 147 (02): : 757 - 768
- [45] Higher-order spatial correlation coefficients of ultrasonic backscattering signals using partial cross-correlation analysis Journal of the Acoustical Society of America, 2020, 147 (02): : 757 - 768
- [46] Real-time and simultaneous recognition of multiple moving objects using Cubic Higher-order Local Auto-Correlation 2008 IEEE SOUTHWEST SYMPOSIUM ON IMAGE ANALYSIS & INTERPRETATION, 2008, : 49 - +
- [47] Cosmic evolution in f (Q, T) gravity: Exploring a higher-order time-dependent function of deceleration parameter with observational constraints PHYSICS OF THE DARK UNIVERSE, 2024, 43
- [48] An Improved Interval Global Optimization Algorithm Using Higher-order Inclusion Function Forms Journal of Global Optimization, 2005, 32 : 35 - 63
- [50] Anomaly Detection for Capsule Endoscopy Images Using Higher-order Local Auto Correlation Features PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2012, : 2289 - 2293