This paper considers the problem of planning collision-free motion of three disks in the plane. One of the three disks, the robot, can autonomously translate in the plane, the other two move only when in contact with the robot. This represents the abstract formulation of a manipulation planning problem. Despite the simplicity of the formulation, the decidability of the problem had remained unpr...

Likelihood-based Imprecise Regression (LIR) is a recently introduced approach to regression with imprecise data. Here we consider a robust regression method derived from the general LIR approach and we establish an exact algorithm to determine the set-valued result of the LIR analysis in the special case of simple linear regression with interval data.

This paper addresses the maintenance of discovered frequent patterns when a batch of transactions are removed from the original dataset. We conduct an in-depth investigation on how the frequent pattern space evolves under transaction removal updates using the concept of equivalence classes. Inspired by the evolution analysis, an effective and exact algorithm TRUM is proposed to maintain frequen...