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

15 Citations (Scopus)

Abstract

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
Volume10
Issue number5-6
DOIs
Publication statusPublished - 1998

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

  • Cite this