99 search results - page 9 / 20 » Temporal Decomposition for Logic Optimization |
FSTTCS
2008
Springer
13 years 8 months ago
2008
Springer
ABSTRACT. We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first...
JEI
2006
13 years 7 months ago
2006
We propose a fuzzy logic recursive scheme for motion detection and spatiotemporal filtering that can deal with the Gaussian noise and unsteady illumination conditions in both the t...
SSD
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. In moving object databases, object locations in some multidimensional space depend on time. Previous work focuses mainly on moving object modeling (e.g., using ADTs, temp...
HEURISTICS
2002
13 years 7 months ago
2002
In this paper, we present the parallelization of tabu search on a network of workstations using PVM. Two parallelization strategies are integrated: functional decomposition strate...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper proposes an efficient layer-correlated scheme to reduce the bit cost for motion vectors in the 3D wavelet coding. Previous works show that incorporating motion alignmen...