1633 search results - page 149 / 327 » On the Verification of Temporal Properties |
SIGADA
2005
Springer
14 years 2 months ago
2005
Springer
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...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Automating software evolution requires both identifying precisely the affected program points and selecting the appropriate modification at each point. This task is particularly ...
ICPR
2002
IEEE
14 years 2 months ago
2002
IEEE
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 ...
IJCAI
2003
13 years 10 months ago
2003
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...
EJIS
2006
13 years 9 months ago
2006
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...