CORC

在结果中检索

CORC

浏览/检索结果: 共361条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Generating Semi-Algebraic Invariants for Non-Autonomous Polynomial Hybrid Systems 其他
2017-01-01
Wang, Qiuye; Li, Yangjia; Xia, Bican; Zhan, Naijun
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
Open weak CAD and its applications 其他
2017-01-01
Han, Jingjun; Dai, Liyun; Hong, Hoon; Xia, Bican
收藏  |  浏览/下载：8/0  |  提交时间：2017/12/03
Semiparametric Bayesian inference for accelerated failure time models with errors-in-covariates and doubly censored data 其他
2017-01-01
Shen, Junshan; Li, Zhaonan; Yu, Hanjun; Fang, Xiangzhong
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
SPMS: Strand based Persistent Memory System 其他
2017-01-01
Li, Shuo; Wang, Peng; Xiao, Nong; Sun, Guangyu; Liu, Fang
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
RAIM and AUKF for GNSS Performance Enhancement in Multi-Constellation 其他
2017-01-01
Meng, F. C.; Meng, X.; Tao, L.; Sun, J. R.; Niu, Z.; Zhu, B. C.
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
Effective Quadtree Plus Binary Tree Block Partition Decision for Future Video Coding 其他
2017-01-01
Wang, Zhao; Wang, Shiqi; Zhang, Jian; Wang, Shanshe; Ma, Siwei
收藏  |  浏览/下载：8/0  |  提交时间：2017/12/03
Estimation in Discrete Reliability Growth, a Growth Model with Coefficient Condition 其他
2016-01-01
Shao Xiang; Fang Xiangzhong
收藏  |  浏览/下载：3/0  |  提交时间：2017/12/04
Interpolant synthesis for quadratic polynomial inequalities and combination with EUF 其他
2016-01-01
Gan, Ting; Dai, Liyun; Xia, Bican; Zhan, Naijun; Kapur, Deepak; Chen, Mingshuai
收藏  |  浏览/下载：9/0  |  提交时间：2017/12/03
Preferential Multi-Context Systems 其他
2016-01-01
Mu, Kedian; Wang, Kewen; Wen, Lian
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
Logo recognition via improved topological constraint 其他
2016-01-01
Tang, Panpan; Peng, Yuxin
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03

©版权所有 ©2017 CSpace - Powered by CSpace