退出
我的积分:
中文文献批量获取
外文文献批量获取
万文;
哈尔滨理工大学;
机译:CoLoR:一个基于Coq的库,基于完善的重写关系并将其应用于终止证书的自动验证
机译:表格表达式及其关系语义
机译:推导Coq-Elpi中经过验证的平等性测试:Coq中容器的更强归纳原理
机译:Coq中基于形式语义的PLC属性验证
机译:Coq中使用会话类型的证明协议语义。
机译:使用语义网形状表达式(ShEx)建模和验证HL7 FHIR配置文件
机译:语言文化关系(透视SOSIAC语言)语言与文化关系(透视SOSIAC语言)
机译:Coq Tacticals和pVs策略:一个小步骤语义
机译:关系表达式提取设备,关系表达式搜索设备,关系表达式提取方法,关系表达式搜索方法
机译:(54)标题:一种扩展商务智能系统的形式和功能的基于内容的方法(57)摘要:商务智能(BI)系统具有通过以下方式将其功能扩展到项目生命周期之外的能力:具体内容。复杂的多维查询被解释为原子子表达式的树,这些原子子表达式组合成类似解析树的结构以形成整体查询。每个子树在提供适当的上下文时都是有效的。任何子树都可以是作为应用程序内容存储的表达模板,该表达模板在生成时使用带有实例特定参数的简单文本替换来生成多维表达语法。该系统包括一个复杂的类型系统和语义层,使用户摆脱了使用OLAP数据库所固有的复杂性。商业智能专家可以为每个作为内容的表达模板提供类型和语义提示。
机译:语义关系学习设备,语义关系学习方法和语义关系学习计划
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。