3502 search results - page 116 / 701 » From Machine Learning to Machine Reasoning |
132
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Support vector machines (SVMs) have become one of the most promising techniques for relevance feedback in content-based image retrieval (CBIR). Typical SVM-based relevance feedbac...
142
click to vote
IPSN
2010
Springer
15 years 11 months ago
2010
Springer
This paper develops algorithms to train linear support vector machines (SVMs) when training data are distributed across different nodes and their communication to a centralized no...
149
click to vote
CSFW
2010
IEEE
15 years 7 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
146
click to vote
JMLR
2010
14 years 11 months ago
2010
This paper develops algorithms to train support vector machines when training data are distributed across different nodes, and their communication to a centralized processing unit...
112
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...