103 search results - page 14 / 21 » A separation theorem in property testing |
SCL
2008
13 years 7 months ago
2008
We establish exponential stability of nonlinear time-varying impulsive systems by employing Lyapunov functions with discontinuity at the impulse times. Our stability conditions ha...
PSIVT
2009
Springer
14 years 2 months ago
2009
Springer
PCA-SIFT is an extension to SIFT which aims to reduce SIFT’s high dimensionality (128 dimensions) by applying PCA to the gradient image patches. However PCA is not a discriminati...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
With hierarchical clustering methods, divisions or fusions, once made, are irrevocable. As a result, when two elements in a bottom-up algorithm are assigned to one cluster, they c...
SACMAT
2010
ACM
14 years 11 days ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
ICDE
2007
IEEE
13 years 11 months ago
2007
IEEE
Context-based literature digital library search is a new search paradigm that creates an effective ranking of query outputs by controlling query output topic diversity. We define ...