已收录 268921 条政策
分类导航
检索结果
已选条件:
Mathematical
<符合条件的数据共：7条>
排序方式
登录后可批量下载(统一登录，激活码登录)
  • 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]
  • 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]
  • FATKID : a Finite Automaton Toolkit
    颁布单位：[Stellenbosch University] |  颁布时间：2012 |  实施时间：2012 |  学科分类：[["Machine, theory",, "Distributed, computation",, "Graphical, user, interfaces, (Computer, systems)",, "Language, theory",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science"]]
    预览  |  原文链接    [浏览：5 下载：2]
  • Formal specification and verification of safety interlock systems: A comparative case study
    颁布单位：[Stellenbosch University] |  颁布时间：2007 |  实施时间：2007 |  学科分类：[["Theses, --, Mathematics",, "Dissertations, --, Mathematics",, "Theses, --, Computer, science",, "Dissertations, --, Computer, science",, "Software, protection, --, Mathematical, models",, "Computer, security, --, Case, studies.",, "Formal, methods, (Computer, science)",, "Mathematical, Sciences",, "Computer, Science"]]
    预览  |  原文链接    [浏览：5 下载：2]
  • The modelling of TCP traffic in MPLS networks
    颁布单位：[Stellenbosch University] |  颁布时间：2003 |  实施时间：2003 |  学科分类：[["TCP/IP, (Computer, network, protocol)",, "Telecommunication, --, Traffic",, "Internet",, "Multi-protocol, label, switching, (MPLS)",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences"]]
    预览  |  原文链接    [浏览：0 下载：0]
  • Inductive machine learning bias in knowledge-based neurocomputing
    颁布单位：[Stellenbosch University] |  颁布时间：2003 |  实施时间：2003 |  学科分类：[["Neural, computers",, "Neural, networks, (Computer, science)",, "Artificial, intelligence, --, Data, processing",, "Knowledge-based, neurocomputing",, "Dissertations, --, Computer, science",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science"]]
    预览  |  原文链接    [浏览：4 下载：1]
  • The use of temporal context in the generation of strings
    颁布单位：[Stellenbosch University] |  颁布时间：2002 |  实施时间：2002 |  学科分类：[["Parsing, (Computer, grammar)",, "Proposition, (Logic)",, "Dissertations, --, Computer, science",, "Theses, --, Computer, science",, "Dissertations, --, Mathematical, sciences",, "Theses, --, Mathematical, sciences"]]
    预览  |  原文链接    [浏览：0 下载：0]