Computational and theoretical analysis of supervised dimensionality reduction(监督降维算法的计算和理论分析) ‌ ZHAOWu-feng(赵武锋), SHENHai-bin(沈海斌), YANXiao-lang(严晓浪)

Ստացեք ամբողջական տեքստը

A formal verification method: model checking(一种形式化验证方法：模型检验) ‌ YANGJun(杨军), GEHai-tong(葛海通), ZHENGFei-jun(郑飞君), YANXiao-lang(严晓浪)

Ստացեք ամբողջական տեքստը