We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
In this paper, we present a new framework that performs automated local wall motion analysis based on the combined information derived from a rest and stress sequence (a full stres...
Sarina Mansor, Nicholas P. Hughes, J. Alison Nob...
This paper describes a framework for detecting unusual events in surveillance videos. Most surveillance systems consist of multiple video streams, but traditional event detection ...
Segmentation of individual actions from a stream of human motion is an open problem in computer vision. This paper approaches the problem of segmenting higher-level activities int...
Patrick Peursum, Hung Hai Bui, Svetha Venkatesh, G...
In this paper we present an innovative two-stage adaptation approach for handwriting recognition that is based on clustering of similar pages in the training data. In our approach...