退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:价值传递过程后期方法的语义理论-第一部分:指称模型及其完全公理化
Anna Ingólfsdóttir;
机译:基于后期方法的价值传递过程的语义理论
机译:作为形式幂级数的过程:指称语义的共归方法
机译:使用完整的公制空间,膜系统的表示语义
机译:基于指称语义的Verilog操作语义的完整性,完整性和非冗余性
机译:模板语义:基于语义的模型编译的参数化方法。
机译:执行注意力过程是否唯一或通常解释心动测量G和正歧管中的相关性?调查过程重叠理论的结构方程建模与网络分析方法
机译:进程和并发的指称语义
机译:(54)标题:一种扩展商务智能系统的形式和功能的基于内容的方法(57)摘要:商务智能(BI)系统具有通过以下方式将其功能扩展到项目生命周期之外的能力:具体内容。复杂的多维查询被解释为原子子表达式的树,这些原子子表达式组合成类似解析树的结构以形成整体查询。每个子树在提供适当的上下文时都是有效的。任何子树都可以是作为应用程序内容存储的表达模板,该表达模板在生成时使用带有实例特定参数的简单文本替换来生成多维表达语法。该系统包括一个复杂的类型系统和语义层,使用户摆脱了使用OLAP数据库所固有的复杂性。商业智能专家可以为每个作为内容的表达模板提供类型和语义提示。
机译:通过开发专为工业应用设计的数学模型,开发一种应用色彩理论的新方法
机译:可导航语义网络,用于处理规范并使用一组声明性语句来生成语义网络模型
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。