12863 search results - page 136 / 2573 » Dynamic Data Mining |
145
click to vote
DATE
2008
IEEE
16 years 22 days ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
181
click to vote
ICDM
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we present a new system, called GeneScout, for predicting gene structures in vertebrate genomic DNA. The system contains specially designed hidden Markov models (HM...
171
click to vote
KDD
2005
ACM
16 years 6 months ago
2005
ACM
Discovery of sequential patterns is an essential data mining task with broad applications. Among several variations of sequential patterns, closed sequential pattern is the most u...