2286 search results - page 16 / 458 » Algorithms for Categorical Equivalence |
127
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
We consider security properties of cryptographic protocols, that are either trace properties (such as confidentiality or authenticity) or equivalence properties (such as anonymity ...
97
Voted
FOCS
2010
IEEE
14 years 12 months ago
2010
IEEE
We say an algorithm on n
130
Voted
RECOMB
2007
Springer
16 years 2 months ago
2007
Springer
The problem of Sorting signed permutations by reversals is a well studied problem in computational biology. The first polynomial time algorithm was presented by Hannenhalli and Pev...
107
Voted
ICML
2003
IEEE
16 years 2 months ago
2003
IEEE
We address the problem of learning distance metrics using side-information in the form of groups of "similar" points. We propose to use the RCA algorithm, which is a sim...
98
Voted
CVPR
2008
IEEE
16 years 3 months ago
2008
IEEE
The computational complexity of current visual categorization algorithms scales linearly at best with the number of categories. The goal of classifying simultaneously Ncat = 104 -...