ions for Shape Analysis Predicate abstraction is a method for constrained-based abstraction that has been successfully applied in many domains. Unfortunately, in the context of shape analysis it is in general not efficient enough. In [5], we describe a new approach to shape analysis based on predicate abstraction. We propose a class of state predicates that exploits existent abstractions for sh...

sensor independent features. Different physical quantities can provide the same abstract information about an activity. Thus, for example, on-body inertial sensors, clothing-integrated textile elongation sensors, and visual tracking, all give information about body parts trajectories. If the classifiers are trained on such trajectories rather than on raw sensor signals, then the classification ...

PURPOSE To investigate the relations between age and the optical aberrations of the whole eye. The eye's optical quality, as measured by the modulation transfer function (MTF), degrades with age, but the MTF does not provide a means to assess the contributions of individual aberrations, such as coma, spherical aberration, and other higher order aberrations to changes in optical quality. The met...