Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
In this work, we study the spectra and eigenmodes of the Hessian of various discrete surface energies and discuss applications to shape analysis. In particular, we consider a physi...
Klaus Hildebrandt, Christian Schulz, Christoph von...
We describe a new method for automatic gait recognition based on analysing the symmetry of human motion, by using the Generalised Symmetry Operator. This operator, rather than rely...
James B. Hayfron-Acquah, Mark S. Nixon, John N. Ca...
This paper presents a novel method for quickly filtering range data points to make object recognition in large 3D data sets feasible. The general approach, called "3D cueing,...
We present an image-based method for face recognition across different illuminations and different poses, where the term `image-based' means that only 2D images are used and ...