共 50 条
- [47] Logical Clustering and Learning for Time-Series Data COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 305 - 325
- [49] Large-scale kernel extreme learning machine Jisuanji Xuebao/Chinese Journal of Computers, 2014, 37 (11): : 2235 - 2246