Also in this class, a set of papers are using model-theoretical methods for the
mathematical foundation of certain computer science concepts, such as in the
papers of Bertoni-Mauri- Miglioli, Gergely-Vry, Mdvkusz-SzSts and Tiuryn. The
paper by Pliuskeviaius deals with the proof theory for programming logic.
Algebraic logic and different algebraic approaches to the theory of programming
are represented by papers of Andv4ka-Sains Arbib-Manes, Couraelle, Hoehnke,
Meseguer and ...
ICDM '03 brings together researchers and practitioners who describe their original research results and practical development experiences in Data Mining technology. The papers explore subjects in many related data-mining areas such as machine learning, automated scientific discovery, statistics, pattern recognition, knowledge acquisition, soft computing, databases, data warehousing, data visualization, and knowledge-based systems. Data mining is an emerging and highly interdisciplinary field. The ICDM '03 proceedings cover a broad and diverse range of topics related to data-mining theory, systems, and applications.
However, the support-raising technique can free us from setting minimum support
without sacrificing the performance. 5 Related Work Agrawal and Srikant [1]
introduced the sequential pattern mining problem. Efficient algorithms like GSP [8
], ...
