Partial-order reduction techniques for real-time model checking

D.R. Dams, R.T. Gerth, B.T. Knaack, R. Kuiper

Research output: Contribution to journalArticleAcademicpeer-review

23 Citations (Scopus)


One of the most common problems in instance-based learning of text categorization is high dimensionality of feature space and problem of deciding which instances to store for use during generalization. These problems can be solved with use of reduction methods. In this paper, comparison of three reduction techniques for feature space reduction and one algorithm for reduction of storage requirements is presented. These techniques were combined with k-NN (k-Nearest Neighbors) classifier, which is one of the top-performing methods in the text classification tasks. We describe the benefit of this combination of methods and present results with the Reuters-21578 dataset.
Original languageEnglish
Pages (from-to)469-482
JournalFormal Aspects of Computing
Issue number5-6
Publication statusPublished - 1998


Dive into the research topics of 'Partial-order reduction techniques for real-time model checking'. Together they form a unique fingerprint.

Cite this