To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990's. Dummy elim...
— This paper presents an approach to approximate information content for active sensing tasks. The Unscented Transform is used to represent probability distributions by a set of ...