您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. Visual Prolog 语言教程

  2. 本书全面系统介绍Visual Prolog语言及其编程。全书共分四个部分,第一部分简短介绍Visual Prolog可视化开发环境;第二部分包括教程的第2章至第11章,教你如何学会用Visual Prolog编程;第三部分包括第12章至第16章,详细叙述Visual Prolog的预定义特性;第四部分包括第17章至第18章,完整而系统地叙述语言元素和模块化程序设计,以及与其它语言的接口。 下面是本书每一章的内容简介。 第一部分 Visual Prolog概述 第1章 Visual Prolog
  3. 所属分类:专业指导

    • 发布日期:2009-05-23
    • 文件大小:14680064
    • 提供者:shifc
  1. 专题二:程序语言部分

  2. 专题二:程序语言部分 1、程序语言知识 1.1 程序语言:    程序语言分为低级语言和高级语言两个大类。    低级语言:又称为面向机器语言,它是特定的计算机系统所固有的语言。  机器语言:虽然执行效率高,但编写出来的程序可读性很差,程序难以修改和维护。  汇编语言:汇编语言是机器语言的一种提升,它使用了一些助记符号来表示机器指 令中的操作码和操作数。但它仍然是一种和计算机的机器语言十分接近的语言,使用起来仍然不太方便。  高级语言:与人们的自然语言比较接 近,使用起来很方便,也极大的
  3. 所属分类:C

    • 发布日期:2009-05-23
    • 文件大小:73728
    • 提供者:wyl636
  1. 历届系统分析师考试数学知识点细分统计

  2. 年份 试题号 知识点 2004 上 60 单射函数概念 2000 15 概率的性质,泊松分布概念 1999 15 简单概率,泊松分布 2001 70~75 概率分布、数学期望、方差 2002 57~65 随机变量正态分布 2004上 61 全概率公式应用 1993 13 Huffman算法求最优二叉树的权、树叶、节点;前缀码 1993 14 集合的性质,交换群 1994 13 代数系统的*运算求么元、逆元、阶,群的概念。 1994 14 无向完全图性质,图的顶点,图的度数序列 1996 14
  3. 所属分类:其它

    • 发布日期:2009-06-02
    • 文件大小:5120
    • 提供者:myleilei
  1. 最新vRules4j-2.1.2-b20090622.zip下载

  2. 项目概述: vRules4j是由个人发起的开源项目,它基于Apatche Licenses 2.0 免费发布。任何组织或者个人都可以查看其源码并根据自己的需要修改源码,同时在商业应用中具有最大的授权许可。具体Licenses 条款请参阅http://www.apache.org/licenses/ vRules4j是免费的软件,发布的初衷是希望他对开发者之外的组织或者个人同样有应用价值,但是如果由于软件本身存在的未知的潜在的安全隐患而导致的任何后果,原作者或者开发组织将不承担任何责任。 功能介
  3. 所属分类:Java

    • 发布日期:2009-06-26
    • 文件大小:384000
    • 提供者:jimy_xue
  1. 一阶谓词逻辑和知识绑定

  2. 这是我的文章的第三章的第二节,因为有公式没法发,直接放这里了。
  3. 所属分类:专业指导

    • 发布日期:2008-12-15
    • 文件大小:696320
    • 提供者:dorrisww
  1. Delphi数据库查询:NOT与谓词组合条件查询实例..rar

  2. Delphi数据库查询:NOT与谓词组合条件查询实例..rar`
  3. 所属分类:Delphi

    • 发布日期:2019-04-17
    • 文件大小:182272
    • 提供者:chunyangsuhao
  1. dry-logic, 带有规则组合的谓词逻辑.zip

  2. dry-logic, 带有规则组合的谓词逻辑 逻辑 谓词逻辑和使用的规则组合:用于约束类型的干类型干验证插件用于构成验证规则你的项目。链接文档文档Bug 报告和拉请求在GitHub的https://github.com/dry-rb
  3. 所属分类:其它

    • 发布日期:2019-09-18
    • 文件大小:59392
    • 提供者:weixin_38743481
  1. dry-logic, 带有规则组合的谓词逻辑.zip

  2. dry-logic, 带有规则组合的谓词逻辑 逻辑 谓词逻辑和使用的规则组合:用于约束类型的干类型干验证插件用于构成验证规则你的项目。链接文档文档Bug 报告和拉请求在GitHub的https://github.com/dry-rb
  3. 所属分类:其它

    • 发布日期:2019-10-10
    • 文件大小:61440
    • 提供者:weixin_38744270
  1. iOS中谓词(NSPredicate)的基本入门使用教程

  2. 主要给大家介绍了关于iOS中谓词(NSPredicate)的基本入门使用方法,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
  3. 所属分类:其它

    • 发布日期:2020-08-26
    • 文件大小:104448
    • 提供者:weixin_38648800
  1. 被遗忘的SQLServer比较运算符谓词

  2. SQLServer中有三个关键字可以修改比较运算符:All、Any和Some,其中Some和Any等价。
  3. 所属分类:其它

    • 发布日期:2020-09-11
    • 文件大小:34816
    • 提供者:weixin_38617297
  1. 被遗忘的SQLServer比较运算符谓词

  2. 官方的参考文档 http://technet.microsoft.com/zh-cn/library/ms187074(SQL.90).aspx 他们作用于比较运算符和子查询之间,作用类似Exists、not exists、in、not in以及其他逻辑意义,这些语法同样被SQLServer2000支持但是很少看到有人用它们。 代码如下: set nocount on use tempdb go if (object_id (‘t1’ ) is not null ) drop table t1
  3. 所属分类:其它

    • 发布日期:2020-12-15
    • 文件大小:32768
    • 提供者:weixin_38689551
  1. 索引列,列选择率和等式谓词

  2. 本篇文章也可以叫做”建立索引时那一列应该放到前面”。   通常对于索引列的选择的通常准则都是把高选择率(译者注:所谓选择率指的是在where子句中作为选择条件使用次数的比例来说的)的列放在前面,我接下来并不是要说这个准则不对,因为这个准则本身是正确的。但通常在给出这个准则的同时并没有同时给出为什么要把高选择率的列作为索引列以及索引列的顺序。   综上原因,这很有可能导致对索引列选择的误解。比如,在极端情况下,某个人风闻了上述建议后,把所有非聚集索引的的索引键都设置成聚集索引的键(因为这列
  3. 所属分类:其它

    • 发布日期:2020-12-14
    • 文件大小:142336
    • 提供者:weixin_38738422
  1. 【大数据】SparkSql连接查询中的谓词下推处理(一)

  2. 转自:vivo互联网技术 作者:李勇 1.SparkSql SparkSql是架构在Spark计算框架之上的分布式Sql引擎,使用DataFrame和DataSet承载结构化和半结构化数据来实现数据复杂查询处理,提供的DSL 可以直 接使用scala语言完成Sql查询,同时也使用thriftserver提供服务化的Sql查询功能。SparkSql提供了DataSource API,用户通过这套API可以自己开发一套Connector,直接查询各类数据源,数据源包括NoSql、RDBMS、搜索
  3. 所属分类:其它

    • 发布日期:2021-01-07
    • 文件大小:418816
    • 提供者:weixin_38606897
  1. 谓词用户界面-源码

  2. 样板
  3. 所属分类:其它

    • 发布日期:2021-02-13
    • 文件大小:1048576
    • 提供者:weixin_42103128
  1. ConditionalCompilationUtility:在检测到谓词类时自动添加定义-源码

  2. 条件编译实用程序 一旦检测到相关类,条件编译实用程序(CCU)将在构建设置中添加定义。 CCU的目标是不需要其他库的CCU本身来指定可选的依赖项。 因此,它依赖于使用它的项目中至少一个自定义属性的规范。 这是一个例子: [Conditional(UNITY_CCU)] // | This is necessary for CCU to pick up the right attributes public class Opt
  3. 所属分类:其它

    • 发布日期:2021-02-06
    • 文件大小:9216
    • 提供者:weixin_42097189
  1. holmes-extractor:基于谓词逻辑从英语和德语文本中提取信息-源码

  2. 福尔摩斯 作者: 4.1 (从Manager.get_supervised_topic_training_basis()返回) (从SupervisedTopicTrainingBasis.train()返回) (从SupervisedTopicModelTrainer.classifier()和Manager.deserialize_supervised_topic_classifier() ) 1.简介 1.1基本思想 Holmes是一个Python 3库(已通过版本3.7.
  3. 所属分类:其它

    • 发布日期:2021-02-03
    • 文件大小:266240
    • 提供者:weixin_42143161
  1. dry-logic:具有规则组合的谓词逻辑-源码

  2. 干逻辑 链接 支持的Ruby版本 该库正式支持以下Ruby版本: MRI> = 2.5 jruby> = 9.2 执照 请参阅LICENSE文件。
  3. 所属分类:其它

    • 发布日期:2021-02-03
    • 文件大小:77824
    • 提供者:weixin_42151729
  1. 属性隐藏的基于谓词的认证密钥交换协议

  2. 针对已有基于谓词的认证密钥交换协议在隐私保护方面的不足,通过结合一个内积加密方案和NAXOS技巧,提出了一个全新的基于谓词的认证密钥交换协议。并在修改的eCK模型下,将协议的安全性归约到了GBDH假设,同时,由于继承了内积加密方案隐藏用户属性的安全性质,新协议能够防止用户敏感信息的泄露。
  3. 所属分类:其它

    • 发布日期:2021-01-15
    • 文件大小:712704
    • 提供者:weixin_38643407
  1. 不可满足子式在谓词抽象中的应用与分析

  2. 不可满足子式在谓词抽象中的应用与分析
  3. 所属分类:其它

    • 发布日期:2021-04-02
    • 文件大小:1048576
    • 提供者:weixin_38748207
  1. 谓词逻辑中没有冗余的非修订推理

  2. 谓词逻辑中没有冗余的非修订推理
  3. 所属分类:其它

    • 发布日期:2021-03-28
    • 文件大小:192512
    • 提供者:weixin_38589314
« 1 2 3 45 6 7 8 9 10 ... 27 »