Interpreting motions by high-level descriptions, i.e. contexts (e.g. grasping a drawer handle versus opening the drawer), is a challenging problem for manipulation control. In practice, cost-effective ...
We show that a number of natural membership problems for classes associated with finite semigroups are computationally difficult. In particular, we construct a 55-element semigroup S such that the ...