1421 search results - page 122 / 285 » Algorithms for subsequence combinatorics |
136
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
126
click to vote
TASLP
2008
15 years 4 months ago
2008
Abstract--We present a new technique for audio signal comparison based on tonal subsequence alignment and its application to detect cover versions (i.e., different performances of ...
144
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper we study statistical properties of the error covariance matrix of a Kalman filter, when it is subject to random measurement losses. We introduce a sequence of tighter...
161
click to vote
TMM
2011
14 years 11 months ago
2011
Abstract—We introduce a new algorithm for real-time interactive motion control and demonstrate its application to motion captured data, pre-recorded videos and HCI. Firstly, a da...
129
click to vote
ICIP
2009
IEEE
16 years 5 months ago
2009
IEEE
In this paper, we present new results in performance analysis of super-resolution (SR) image reconstruction. We investigate bounds on the improvement in resolution that can be ach...