|
已选(0)清除
条数/页： 排序方式：
|
| Well-behaved inference rules for first-order theorem proving 其他
1998-01-01
Wu, JZ; Liu, ZJ
  收藏 | 浏览/下载：6/0 | 提交时间：2015/11/11
|
| Clifford algebraic reduction method for automated theorem proving in differential geometry 其他
1998-01-01
Li, HB; Cheng, MT
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/12
|
| A new class of nonlinear filters 其他
1998-01-01
Cheng, QS; Zhou, XB
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/13
|
| TransEasy: A Chinese-English machine translation system based on hybrid approach 其他
1998-01-01
Liu, Q; Yu, SW
收藏 | 浏览/下载：1/0 | 提交时间：2015/11/16 |
| Methods of linear combination based on different features 其他
1998-01-01
Wang, L; Chen, K; Chi, HS
收藏 | 浏览/下载：4/0 | 提交时间：2015/11/16 |
| Rule extraction from data by combining a structural learning with forgetting and linear discriminant functions 其他
1998-01-01
Yu, X; Ishikawa, M; Chi, H
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/16
|
| An HMM/MFNN hybrid architecture based on stacked generalization for speaker identification 其他
1998-01-01
Bao, WQ; Chen, K; Chi, HS
收藏 | 浏览/下载：2/0 | 提交时间：2015/11/13
|
