1302 search results - page 7 / 261 » Fair Equivalence Relations |
ISQED
2002
IEEE
14 years 17 days ago
2002
IEEE
State-of-the-art verification tools are based on efficient operations on Boolean formulas. Traditional manipulation techniques are based on Binary Decision Diagrams (BDDs) and SAT...
NIPS
2007
13 years 9 months ago
2007
This article discusses a latent variable model for inference and prediction of symmetric relational data. The model, based on the idea of the eigenvalue decomposition, represents ...
ICML
2003
IEEE
14 years 8 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...
JMLR
2006
13 years 7 months ago
2006
Kernels are two-placed functions that can be interpreted as inner products in some Hilbert space. It is this property which makes kernels predestinated to carry linear models of l...
ICNP
1995
IEEE
13 years 11 months ago
1995
IEEE