中文版 | English

在结果中检索

CSpace

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

限定条件                
已选(0)清除 条数/页：   排序方式：
云环境下网络感知的虚拟机分配问题的求解方法 期刊论文
吉林大学学报. 工学版, 2020, 卷号: 50, 期号: 4, 页码: 1455
作者:  吕帅;  徐玥;  张桐搏;  李广力;  池策
收藏  |  浏览/下载：28/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
收藏  |  浏览/下载：84/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
收藏  |  浏览/下载：61/0  |  提交时间：2019/04/03
empirical investigation  stochastic local search  maximum satisfiability  industrial instances  additive BMS  
A computational framework for Karl Popper's logic of scientific discovery 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2018, 卷号: 61, 期号: 4, 页码: 10
作者:  Li, Wei;  Sui, Yuefei
收藏  |  浏览/下载：41/0  |  提交时间：2019/12/10
belief revision  logic of scientific discovery  approximate deduction  approximation algorithms  feasible computation  
A computational framework for Karl Popper＇s logic of scientific discovery 期刊论文
中国科学：信息科学（英文版）, 2018, 卷号: 61.0, 期号: 004, 页码: 042101
作者:  Li Wei;  Sui Yuefei
收藏  |  浏览/下载：9/0  |  提交时间：2023/12/04
科学发现  计算框架  逻辑  卡尔  近似推理  可满足性  近似算法  修订  
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
收藏  |  浏览/下载：40/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
收藏  |  浏览/下载：47/0  |  提交时间：2019/12/13
Partial MaxSAT  Local search  Hard and soft score  Initialization  
无权访问的条目 期刊论文
作者:  张旻晋;  李华伟;  李晓维
Adobe PDF(532Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/05
无权访问的条目 期刊论文
作者:  刘领一;  赵阳;  吕涛;  李华伟;  李晓维
Adobe PDF(271Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/11/22
Further study of the fuzzy reasoning based on propositional modal logic 期刊论文
ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 卷号: 4062, 页码: 162-169
作者:  Zhang, Zaiyue;  Sui, Yuefei;  Ca, Cungen
收藏  |  浏览/下载：43/0  |  提交时间：2019/12/16
propositional modal logic  fuzzy reasoning  formal system  educed set