Sciweavers

4190 search results - page 238 / 838
» Type Class Directives
Sort
View
PREMI
2005
Springer
15 years 10 months ago
Towards Generic Pattern Mining
Frequent Pattern Mining (FPM) is a very powerful paradigm for mining informative and useful patterns in massive, complex datasets. In this paper we propose the Data Mining Template...
Mohammed Javeed Zaki, Nilanjana De, Feng Gao, Nage...
VMCAI
2005
Springer
15 years 10 months ago
Model Checking of Systems Employing Commutative Functions
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
A. Prasad Sistla, Min Zhou, Xiaodong Wang
ACRI
2004
Springer
15 years 10 months ago
Searching for Pattern-Forming Asynchronous Cellular Automata - An Evolutionary Approach
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...
Tomoaki Suzudo
CINQ
2004
Springer
177views Database» more  CINQ 2004»
15 years 10 months ago
Generic Pattern Mining Via Data Mining Template Library
Frequent Pattern Mining (FPM) is a very powerful paradigm for mining informative and useful patterns in massive, complex datasets. In this paper we propose the Data Mining Templat...
Mohammed Javeed Zaki, Nilanjana De, Feng Gao, Paol...
VLDB
2004
ACM
113views Database» more  VLDB 2004»
15 years 9 months ago
Resource Sharing in Continuous Sliding-Window Aggregates
We consider the problem of resource sharing when processing large numbers of continuous queries. We specifically address sliding-window aggregates over data streams, an important...
Arvind Arasu, Jennifer Widom