546 search results - page 6 / 110 » Extended Null-Move Reductions |
FUIN
2002
13 years 8 months ago
2002
We use information entropy measure to extend the rough set based notion of a reduct. We introduce the Approximate Entropy Reduction Principle (AERP). It states that any simplificat...
SOQUA
2007
13 years 9 months ago
2007
ECEASST
2008
13 years 8 months ago
2008
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Huet and L´evy (1979) showed that needed reduction is a normalizing strategy for orthogonal (i.e., left-linear and non-overlapping) term rewriting systems. In order to obtain a de...
CORR
2011
Springer
13 years 7 days ago
2011
Springer
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...