We present a fully automated multimodal medical image matching technique. Our method extends the concepts used in the computer vision SIFT technique for extracting and matching di...
Let V (φ) be a shift invariant subspace of L2 (R) generated by a Riesz or frame generator φ(t) in L2 (R). We assume that φ(t) is suitably chosen so that V (φ) becomes a reprod...
This paper introduces a method for the recognition planar objects under projective geometry. Our method is based on a similarity measure invariant to projective transform. The pro...
This paper presents a method of classifying human gait in an invariant manner based on silhouette comparison. A database of artificially generated silhouettes is created represent...
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...