253 search results - page 43 / 51 » How to Transform an Analyzer into a Verifier |
159
Voted
CIDM
2011
IEEE
14 years 4 months ago
2011
IEEE
Abstract—A variational approach is proposed for the unsupervised assessment of attribute variability of high-dimensional data given a differentiable similarity measure. The key q...
112
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
Modeling representations of image patches that are quasi-invariant to spatial deformations is an important problem in computer vision. In this paper, we propose a novel concept, t...
125
click to vote
DEDS
2002
15 years 8 days ago
2002
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
92
Voted
ICAISC
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents a new implementation of the co-VAT algorithm. We assume we have an m × n matrix D, where the elements of D are pair-wise dissimilarities between m row objects ...
213
Voted
POPL
2008
ACM
16 years 24 days ago
2008
ACM
We present a framework for generating procedure summaries that are precise -- applying the summary in a given context yields the same result as re-analyzing the procedure in that ...