1860 search results - page 37 / 372 » A Temporal Logic of Robustness |
ICIP
2000
IEEE
14 years 11 months ago
2000
IEEE
In this paper an algorithm for 2D shape estimation of moving objects is proposed, which reduces the estimation error compared to the ISO/MPEG-4 reference. The improvement is achie...
IJON
2006
13 years 10 months ago
2006
There is a trend to develop blind or semi-blind source extraction algorithms based on second-order statistics, due to its low computation load and fast processing speed. An import...
JVCA
2008
13 years 9 months ago
2008
Imagine an object such as a paper sheet being waved in front of some sensor. Reconstructing the time-varying 3D shape of the object finds direct applications in computer animation...
ICMCS
2009
IEEE
13 years 7 months ago
2009
IEEE
This paper introduces a Self-Similarity Matrix (SSM) based video copy detection scheme and a Visual Character-String (VCS) descriptor for SSM matching. SSM, which exploits the spa...
CSL
2009
Springer
14 years 4 months ago
2009
Springer
We study Craig interpolation for fragments and extensions of propositional linear temporal logic (PLTL). We consider various fragments of PLTL obtained by restricting the set of te...