已收录 268921 条政策
分类导航
检索结果
已选条件:
Mathematical
2013
<符合条件的数据共：5条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • Probabilistic tree transducers for grammatical error correction
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Grammar, correction, --, Data, processing",, "Natural, language, processing",, "Weighted, tree, transducer",, "Text, processing, (Computer, science)",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science",, "Computational, linguistics",, "Error-correcting, codes, (Information, theory)",, "English, language, --, Grammar"]]
    预览  |  原文链接    [浏览：6 下载：0]
  • Extended probabilistic symbolic execution
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science",, "Computer, software",, "Symbolic, execution",, "Computer, programming",, "Probabilities"]]
    预览  |  原文链接    [浏览：9 下载：0]
  • Criteria for the evaluation of private cloud computing
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Cloud, computing, --, Evaluation",, "Electronic, data, processing, --, Distributed, processing, --, Evaluation",, "Computer, architecture",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science"]]
    预览  |  原文链接    [浏览：6 下载：2]
  • Bug-finding and test case generation for java programs by symbolic execution
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Symbolic, Execution",, "Bug, detection",, "Java",, "Test, case, generation",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science",, "ARTEMIS, (Computer, program)",, "Java, (Computer, program, language)"]]
    预览  |  原文链接    [浏览：10 下载：0]
  • Constructing topic-based Twitter lists
    颁布单位：[Stellenbosch University] |  颁布时间：2013 |  实施时间：2013 |  学科分类：[["Online, social, networks",, "Data, clustering",, "Machine, learning",, "Twitter",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science"]]
    预览  |  原文链接    [浏览：3 下载：0]