Sciweavers

2957 search results - page 105 / 592
» The Complexity of Polynomial-Time Approximation
Sort
View
CORR
2010
Springer
98views Education» more  CORR 2010»
13 years 10 months ago
Extended Computation Tree Logic
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...
Roland Axelsson, Matthew Hague, Stephan Kreutzer, ...
IANDC
2007
117views more  IANDC 2007»
13 years 10 months ago
Computing the edit distance of a regular language
The edit distance (or Levenshtein distance) between two words is the smallest number of substitutions, insertions, and deletions of symbols that can be used to transform one of the...
Stavros Konstantinidis
RSCTC
2004
Springer
144views Fuzzy Logic» more  RSCTC 2004»
14 years 3 months ago
Approximation Spaces and Information Granulation
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
Andrzej Skowron, Roman W. Swiniarski, Piotr Synak
ECCC
2007
86views more  ECCC 2007»
13 years 10 months ago
On Parameterized Approximability
Abstract. Combining classical approximability questions with parameterized complexity, we introduce a theory of parameterized approximability. The main intention of this theory is ...
Yijia Chen, Martin Grohe, Magdalena Grüber
KDD
2008
ACM
104views Data Mining» more  KDD 2008»
14 years 10 months ago
Succinct summarization of transactional databases: an overlapped hyperrectangle scheme
Transactional data are ubiquitous. Several methods, including frequent itemsets mining and co-clustering, have been proposed to analyze transactional databases. In this work, we p...
Yang Xiang, Ruoming Jin, David Fuhry, Feodor F. Dr...