1607 search results - page 119 / 322 » The existence of k-radius sequences |
SIAMJO
2010
13 years 5 months ago
2010
We present a general semidefinite relaxation scheme for general n-variate quartic polynomial optimization under homogeneous quadratic constraints. Unlike the existing sum-of-squar...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
The prediction step is a very important part of hybrid video codecs for effectively compressing video sequences. While existing video codecs predict either in temporal or in spati...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
This paper proposes a method recovering audio-visual synchronization of multimedia content. It exploits the correlation between the acoustic and the visual signals in order to est...
FMCAD
2007
Springer
14 years 5 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— Many methods exist for the automatic and optimal 3D reconstruction of camera motion and scene structure from image sequence (’Structure from Motion‘ or SfM). The solution t...