中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共45条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
云环境下网络感知的虚拟机分配问题的求解方法 期刊论文
吉林大学学报. 工学版, 2020, 卷号: 50, 期号: 4, 页码: 1455
作者:  吕帅;  徐玥;  张桐搏;  李广力;  池策
收藏  |  浏览/下载：21/0  |  提交时间：2023/12/04
computer software  virtual machine assignment  cloud computing  satisfiability  计算机软件  虚拟机分配  云计算  可满足性  
Reasoning and querying web-scale open data based on DL-Lite(A) in a divide-and-conquer way 期刊论文
JOURNAL OF WEB SEMANTICS, 2019, 卷号: 55, 页码: 122-144
作者:  Gu, Zhenzhen;  Zhang, Songmao;  Cao, Cungen
收藏  |  浏览/下载：78/0  |  提交时间：2019/08/16
DL-lite(A)  Open data  Semantic web  Knowledge base  Query answering  Divide-and-conquer  
Empirical investigation of stochastic local search for maximum satisfiability 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 期号: 1, 页码: 86-98
作者:  Chu, Yi;  Luo, Chuan;  Cai, Shaowei;  You, Haihang
收藏  |  浏览/下载：53/0  |  提交时间：2019/04/03
empirical investigation  stochastic local search  maximum satisfiability  industrial instances  additive BMS  
无权访问的条目 学位论文
作者:  潘恒
Adobe PDF(2262Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2018/06/22
A computational framework for Karl Popper's logic of scientific discovery 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 4, 页码: 10
作者:  Li, Wei;  Sui, Yuefei
收藏  |  浏览/下载：36/0  |  提交时间：2019/12/10
belief revision  logic of scientific discovery  approximate deduction  approximation algorithms  feasible computation  
无权访问的条目 学位论文
作者:  唐威强
Adobe PDF(2441Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2018/06/22
A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文
中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101
作者:  Li Wei;  Sui Yuefei
收藏  |  浏览/下载：4/0  |  提交时间：2023/12/04
科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订  
无权访问的条目 学位论文
作者:  王成龙
Adobe PDF(2036Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2017/07/10
CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability 期刊论文
ARTIFICIAL INTELLIGENCE, 2017, 卷号: 243, 页码: 26-44
作者:  Luo, Chuan;  Cai, Shaowei;  Su, Kaile;  Huang, Wenxuan
收藏  |  浏览/下载：35/0  |  提交时间：2019/12/12
Local search  Weighted partial maximum satisfiability  Emphasis on hard clauses  
New local search methods for partial MaxSAT 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18
作者:  Cai, Shaowei;  Luo, Chuan;  Lin, Jinkun;  Su, Kaile
收藏  |  浏览/下载：42/0  |  提交时间：2019/12/13
Partial MaxSAT  Local search  Hard and soft score  Initialization