408 search results - page 39 / 82 » Temporal structure methods for image-based change analysis |
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
CSIE
2009
IEEE
14 years 3 months ago
2009
IEEE
In this paper, we propose a method for smoke detection in outdoor video sequences. We assume that the camera is mounted on a pan/tilt device. The proposed method is composed of th...
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we present an image-based method for the tracking and rendering of faces. We use the algorithm in an immersive video conferencing system where multiple participants...
ASUNAM
2011
IEEE
12 years 8 months ago
2011
IEEE
—In this paper, we study the problem of evolutionary clustering of multi-typed objects in a heterogeneous bibliographic network. The traditional methods of homogeneous clustering...