This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
We describe spatio-temporal symmetry and its extraction via a Generalised Symmetry Operator. Its use in gait recognition is reinforced by the view from psychology that human gait ...
James B. Hayfron-Acquah, Mark S. Nixon, John N. Ca...
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...
This paper examines how the use of mobile phones influences the temporal boundaries that people enact in order to regulate and coordinate their work and non-work activities. We in...