Sciweavers

2225 search results - page 75 / 445
» Mining Sequential Patterns
Sort
View
ASPDAC
2006
ACM
100views Hardware» more  ASPDAC 2006»
15 years 7 months ago
Generation of shorter sequences for high resolution error diagnosis using sequential SAT
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
Sung-Jui (Song-Ra) Pan, Kwang-Ting Cheng, John Moo...
DASFAA
2010
IEEE
165views Database» more  DASFAA 2010»
15 years 5 months ago
Towards an Algebraic Framework for Querying Inductive Databases
Abstract. In this paper, we present a theoretical foundation for querying inductive databases, which can accommodate disparate mining tasks. We present a data mining algebra includ...
Hong-Cheu Liu, Aditya Ghose, John Zeleznikow
KBSE
2009
IEEE
15 years 8 months ago
Alattin: Mining Alternative Patterns for Detecting Neglected Conditions
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
Suresh Thummalapenta, Tao Xie
DATE
1997
IEEE
92views Hardware» more  DATE 1997»
15 years 5 months ago
MOSAIC: a multiple-strategy oriented sequential ATPG for integrated circuits
The paper proposes a novel approach in an attempt to solve the test problem for sequential circuits. Up until now, most of the classical test pattern techniques use a number of al...
A. Dargelas, C. Gauthron, Yves Bertrand
ICDM
2002
IEEE
156views Data Mining» more  ICDM 2002»
15 years 6 months ago
On Computing Condensed Frequent Pattern Bases
Frequent pattern mining has been studied extensively. However, the effectiveness and efficiency of this mining is often limited, since the number of frequent patterns generated i...
Jian Pei, Guozhu Dong, Wei Zou, Jiawei Han