The problem of interpreting images of moving jointed objects is considered. Assuming the existence of a connectedness model, an algorithn is presented for calculating the rigid part lengths and motion of the jointed objects just from the positions of the joints and some depth information. The algorithn is proved correct.

interpretation of path languages Let L = (2Act,⊆,∪,∩, ∅,Act∗) be the complete lattice of languages over Act An abstraction consists of an abstract lattice D = (D,v,t,u,⊥,>), and a Galois connection L α γ D γ(α(L)) ⊇ L (A ⊇ L) γ(d1 u d2) = γ(d1) ∩ γ(d2) (u matches ∩) α(L) is the abstract object representing the language A ⊇ L γ(α(L)) is the language A 16 An abstraction α1(L) is the pair [F ,R], ...

We use various kinds of static analyses to identify problems that decrease the quality of our system. In many cases, however, the number of reported problems is huge—preventing us from solving these problems due to a lack of resources or motivation. We suggest a technique called “delta analysis” together with a simple behavioral rule that allows to deal with large numbers of problems and gradua...