• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>20th European conference on artificial intelligence >A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence
【24h】

A SAT-Based Approach for Discovering Frequent, Closed and Maximal Patterns in a Sequence

机译：基于SAT的发现序列中频繁，闭合和最大模式的方法

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In this paper we propose a satisfiability-based approach for enumerating all frequent, closed and maximal patterns with wildcards in a given sequence. In this context, since frequency is the most used criterion, we introduce a new polynomial inductive formulation of the cardinality constraint as a Boolean formula. A nogood-based formulation of the anti-monotonicity property is proposed and dynamically used for pruning. This declarative framework allows us to exploit the efficiency of modern SAT solvers and particularly their clause learning component. The experimental evaluation on real world data shows the feasibility of our proposed approach in practice.
机译：在本文中，我们提出了一种基于可满足性的方法，用于枚举给定序列中带有通配符的所有频繁，封闭和最大模式。在这种情况下，由于频率是最常用的准则，因此我们引入了基数约束的新多项式归纳公式作为布尔公式。提出了一种基于nogood的抗单调性公式，并将其动态用于修剪。这个声明性框架使我们能够利用现代SAT求解器的效率，尤其是它们的子句学习组件。对现实世界数据的实验评估表明了我们提出的方法在实践中的可行性。

著录项

  • 来源
  • 会议地点 Montpellier(FR)
  • 作者

    Emmanuel Coquery; Said Jabbour; Lakhdar Sais; Yakoub Salhi;

  • 作者单位

    Universite de Lyon, F-69622 France. Universite de Lyon 1, LIRIS UMR CNRS 5205, France;

    Universite Lille Nord de France, F-59000 Lille, France. UArtois, CRIL UMR CNRS 8188, F-62300 Lens, France;

    Universite Lille Nord de France, F-59000 Lille, France. UArtois, CRIL UMR CNRS 8188, F-62300 Lens, France;

    Universite Lille Nord de France, F-59000 Lille, France. UArtois, CRIL UMR CNRS 8188, F-62300 Lens, France;

  • 会议组织
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号