咨询与建议

限定检索结果

文献类型

  • 4 篇 会议
  • 2 篇 期刊文献

馆藏范围

  • 6 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 6 篇 工学
    • 6 篇 计算机科学与技术...
    • 4 篇 控制科学与工程
    • 4 篇 软件工程
    • 2 篇 电气工程
  • 2 篇 管理学
    • 2 篇 管理科学与工程(可...

主题

  • 6 篇 incomplete algor...
  • 4 篇 gdl
  • 3 篇 dcop
  • 2 篇 exploration
  • 1 篇 experimentation
  • 1 篇 iterative proces...
  • 1 篇 support vector m...
  • 1 篇 maximum satisfia...
  • 1 篇 mobile
  • 1 篇 complexity class...
  • 1 篇 algorithms
  • 1 篇 complete algorit...
  • 1 篇 max-sum
  • 1 篇 local search
  • 1 篇 teams
  • 1 篇 distributed cons...
  • 1 篇 mobile sensor ne...
  • 1 篇 searching algori...
  • 1 篇 multi-agent syst...
  • 1 篇 satisfiability

机构

  • 1 篇 univ lisbon inst...
  • 1 篇 dept. of compute...
  • 1 篇 univ verona comp...
  • 1 篇 univ verona dept...
  • 1 篇 ben gurion univ ...
  • 1 篇 ben gurion unive...
  • 1 篇 ben gurion univ ...
  • 1 篇 univ lisbon inst...
  • 1 篇 outsystems lisbo...
  • 1 篇 college of compu...
  • 1 篇 dept. of industr...

作者

  • 2 篇 yedidsion harel
  • 2 篇 zivan roie
  • 2 篇 roie zivan
  • 1 篇 farinelli alessa...
  • 1 篇 lynce ines
  • 1 篇 terra-neves migu...
  • 1 篇 li yanmei
  • 1 篇 harel yedidsion
  • 1 篇 allesandro farin...
  • 1 篇 farinelli allesa...
  • 1 篇 guerreiro andrei...
  • 1 篇 li ya
  • 1 篇 huang shaobin
  • 1 篇 hilla peled
  • 1 篇 manquinho vasco
  • 1 篇 figueira jose ru...

语言

  • 6 篇 英文
检索条件"主题词=Incomplete algorithms"
6 条 记 录,以下是1-10 订阅
排序:
An SVM-Based Prediction Method for Solving SAT Problems
收藏 引用
Chinese Journal of Electronics 2019年 第2期28卷 246-252页
作者: HUANG Shaobin LI Ya LI Yanmei College of Computer Science and Technology Harbin Engineering University
We show how Support vector machines(SVM) can be applied to the Satisfiability(SAT) problem and how their prediction results can be naturally applied to both incomplete and complete SAT solvers. SVM is used for the cla... 详细信息
来源: 评论
Applying max-sum to teams of mobile sensing agents
收藏 引用
ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE 2018年 71卷 87-99页
作者: Yedidsion, Harel Zivan, Roie Farinelli, Alessandro Ben Gurion Univ Negev Ind Engn & Management Dept Beer Sheva Israel Univ Verona Comp Sci Dept Verona Italy
Multi-agent applications that include teams of mobile sensing agents are challenging since they are inherently dynamic and a single movement of a mobile sensor can change the problem that the entire team is facing. A ... 详细信息
来源: 评论
Explorative Max-sum for Teams of Mobile Sensing Agents  13
Explorative Max-sum for Teams of Mobile Sensing Agents
收藏 引用
International Conference on Autonomous Agents and Multiagent Systems (AAMAS)
作者: Yedidsion, Harel Zivan, Roie Farinelli, Allesandro Ben Gurion Univ Negev Dept Ind Engn & Management Beer Sheva Israel Univ Verona Dept Comp Sci Verona Italy
Multi-agent applications that include teams of mobile sensing agents are challenging since they are inherently dynamic and a single movement of a mobile sensor can change the problem that the whole team is facing. Whi... 详细信息
来源: 评论
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving  25th
Constraint-Based Techniques in Stochastic Local Search MaxSA...
收藏 引用
25th International Conference on the Principles and Practice of Constraint Programming (CP)
作者: Guerreiro, Andreia P. Terra-Neves, Miguel Lynce, Ines Figueira, Jose Rui Manquinho, Vasco Univ Lisbon Inst Super Tecn INESC ID Lisbon Portugal OutSystems Lisbon Portugal Univ Lisbon Inst Super Tecn CEG IST Lisbon Portugal
The recent improvements in solving Maximum Satisfiability (MaxSAT) problems has allowed the usage of MaxSAT in several application domains. However, it has been observed that finding an optimal solution in a reasonabl... 详细信息
来源: 评论
Max/Min-sum Distributed Constraint Optimization through Value Propagation on an Alternating DAG  12
Max/Min-sum Distributed Constraint Optimization through Valu...
收藏 引用
International Conference on Autonomous Agents and Multiagent Systems
作者: Roie Zivan Hilla Peled Ben Gurion University Beer-Sheva Israel
Distributed Constraint Optimization Problems (DCOPs) are NPhard and therefore the number of studies that consider incomplete algorithms for solving them is growing. Specifically, the Max-sum algorithm has drawn attent... 详细信息
来源: 评论
Explorative Max-sum for Teams of Mobile Sensing Agents  14
Explorative Max-sum for Teams of Mobile Sensing Agents
收藏 引用
International Conference on Autonomous Agents and Multiagent Systems
作者: Harel Yedidsion Roie Zivan Allesandro Farinelli Dept. of Industrial Engineering and Management Ben Gurion University Dept. of Computer Science University of Verona
Multi-agent applications that include teams of mobile sensing agents are challenging since they are inherently dynamic and a single movement of a mobile sensor can change the problem that the whole team is facing. Whi... 详细信息
来源: 评论