1633 search results - page 242 / 327 » On the Verification of Temporal Properties |
IJCNN
2008
IEEE
14 years 5 months ago
2008
IEEE
— This paper investigates spatiotemporal feature extraction from temporal image sequences based on invariance representation. Invariance representation is one of important functi...
INFOCOM
2008
IEEE
14 years 5 months ago
2008
IEEE
Many real-world applications for sensor networks require event sampling with sufficient resolution over both spatial and temporal dimensions. When the deployed nodes are insuffi...
IV
2008
IEEE
14 years 5 months ago
2008
IEEE
Assessing the potential property and social impacts of an event, such as tornado or wild fire, continues to be a challenging research area. From financial markets to disaster mana...
ICASSP
2007
IEEE
14 years 5 months ago
2007
IEEE
Background modeling and subtraction is a fundamental task in many computer vision and video processing applications. We present a novel probabilistic background modeling and subtr...
ICMCS
2007
IEEE
14 years 5 months ago
2007
IEEE
In this paper, we study the security of an image scrambling algorithm based on Space-Filling Curves (SFC). A random SFC is a pixel permutation that changes the scanning order with...