退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:形式算法+形式表示=搜索策略
Patrick D. Surry; Nicholas J. Radcliffe;
机译:计算争议:用于检测Wikipedia和搜索查询中争议的正式模型和算法
机译:改进的自适应杜鹃搜索(MACS)算法和全局优化的形式描述
机译:应用程序设计问题中的算法结构模型正式的算法结构
机译:正式算法+正式表示=搜索策略
机译:动态规划和贪婪算法的形式化算法设计方法。
机译:正式的医学知识表示支持深度学习算法生物信息学管道基因组学数据分析和大数据过程
机译:在组织问题解决中寻求搜索过程和例程的形式化表示。对现状的评估。
机译:用于数据处理器中的形式化验证的方法包括:使用信号包络的一个限制执行验证算法,并使用验证算法限制状态空间搜索
机译:基于形式结构的大规模资源调度优化算法
机译:用于使用自动顺序对等检查对浮点除法和/或平方根算法设计进行分层形式硬件验证的系统,方法和计算机程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。