4324 search results - page 73 / 865 » A Generalized Representer Theorem |
182
click to vote
PAMI
2007
15 years 3 months ago
2007
— The traditional image representations are not suited to conventional classification methods, such as the linear discriminant analysis (LDA), because of the under sample problem...
137
click to vote
UAI
1993
15 years 5 months ago
1993
I introduce a temporal belief-network representation of causal independence that a knowledge engineer can use to elicit probabilistic models. Like the current, atemporal belief-ne...
144
Voted
AGI
2008
15 years 5 months ago
2008
We give a brief overview of the main characteristics of diagrammatic reasoning, analyze a case of human reasoning in a mastermind game, and explain why hybrid representation system...
150
click to vote
CADE
2000
Springer
15 years 8 months ago
2000
Springer
We provide techniques to integrate resolution logic with equality in type theory. The results may be rendered as follows. − A clausification procedure in type theory, equipped w...
172
click to vote
CRYPTO
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...