Formal specification of region-based model for semantic extraction in road traffic monitoring

Authors:
Johan Köhler;Jules-Raymond Tapamo
Affiliations:
University of KwaZulu-Natal;University of KwaZulu-Natal
Venue:
AFRIGRAPH '06 Proceedings of the 4th international conference on Computer graphics, virtual reality, visualisation and interaction in Africa
Year:
2006

Citing 6
Cited 0

The Z notation: a reference manual

The Z notation: a reference manual
Analogical representation of space and time

Image and Vision Computing
A foundation for representing and querying moving objects

ACM Transactions on Database Systems (TODS)
Video Sequence Interpretation for Visual Surveillance

VS '00 Proceedings of the Third IEEE International Workshop on Visual Surveillance (VS'2000)
An Ontology for Video Event Representation

CVPRW '04 Proceedings of the 2004 Conference on Computer Vision and Pattern Recognition Workshop (CVPRW'04) Volume 7 - Volume 07
Design and assessment of an intelligent activity monitoring platform

EURASIP Journal on Applied Signal Processing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This work forms part of the development of a framework for semantic extraction in road traffic monitoring. In this paper we develop a scene, object and event model based on regions in the ground plane. The model is formally specified using the Güting spatio-temporal formalism for moving regions and Z notation. The result is domain-independent knowledge representation that supports reasoning about time-varying regions and that is expressed in an accessible mathematical formalism.