This paper presents an analysis of natural movement in Latin dance and a synthesis of dance motions making use of the outcome. The isolation movement of shoulders and hips in Latin...
Abstract. In this paper we present some new refinements of the dependency pair method for automatically proving the termination of term rewrite systems. These refinements are ver...
This paper shows how to achieve, under certain conditions, abstract-interpretation ms that enjoy the best possible precision for a given abstraction. The key idea is a simple proce...
We present similarity-based methods to cluster digital photos by time and image content. This approach is general, unsupervised, and makes minimal assumptions regarding the struct...
Matthew L. Cooper, Jonathan Foote, Andreas Girgens...
We present a client/server implementation for running demanding mobile AR applications on a PDA device. The system incorporates various data compression methods to make it run as ...