546 search results - page 6 / 110 » Extended Null-Move Reductions |
101
Voted
FUIN
2002
15 years 1 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...
106
Voted
SOQUA
2007
15 years 3 months ago
2007
ECEASST
2008
15 years 1 months ago
2008
BIRTHDAY
2005
Springer
15 years 7 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...
104
click to vote
CORR
2011
Springer
14 years 5 months 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...