Circuit-Based Search Space Pruning in QBF

Author(s):  
Mikoláš Janota
Author(s):  
Yunhui Zheng ◽  
Vijay Ganesh ◽  
Sanu Subramanian ◽  
Omer Tripp ◽  
Julian Dolby ◽  
...  

1994 ◽  
Vol 25 (4) ◽  
pp. 1-12
Author(s):  
Takayuki Fujino ◽  
Hideo Fujiwara

Author(s):  
Xiaoyang Gao ◽  
Sriram Krishnamoorthy ◽  
Swarup Kumar Sahoo ◽  
Chi-Chung Lam ◽  
Gerald Baumgartner ◽  
...  

Author(s):  
MEHDI Haj Ali ◽  
Qun-Xiong Zhu ◽  
Yan-Lin He

<p><em>Sequential pattern mining, it  is not just important in data mining field , but  it is the basis of many applications .However, running applications cost time and memory, especially when dealing with dense of the dataset. Setting the proper minimum support threshold is one of the factors that consume more memory and time. However ,  it is difficult for users to get the appropriate patterns, it may present too many sequential patterns  and makes it difficult for users to comprehend the results. The problem becomes worse and worse when dealing with long click stream sequences or huge dataset. As a solution, we developed an efficient algorithm, called TopK (Top-K click stream sequence pattern mining), which employs the output as top-k patterns , K is the most important and relevant frequencies (with a high support) . However ,our algorithm based on pseudo-projection to avoid consuming more time and memory, and uses several efficient search space pruning methods together with BI-Directional Extension. Our extensive study and experiments on real click stream datasets show TopK significantly outperforms the previous algorithms.</em></p>


Sign in / Sign up

Export Citation Format

Share Document