4324 search results - page 145 / 865 » A Generalized Representer Theorem |
130
Voted
NIPS
2003
15 years 6 months ago
2003
Significant plasticity in sensory cortical representations can be driven in mature animals either by behavioural tasks that pair sensory stimuli with reinforcement, or by electro...
134
click to vote
FLAIRS
1998
15 years 6 months ago
1998
Using an adequate representation is often the key to solve complex problems in Artificial Intelligence. Hierarchical shape representations are very convenient in domains -such as ...
116
click to vote
KBS
1998
15 years 4 months ago
1998
This paper presents a hierarchical case representation using a context guided retrieval method. The performance of this method is compared to that of a simpler flat file represe...
148
Voted
CADE
2007
Springer
16 years 4 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
155
click to vote
STOC
2004
ACM
16 years 4 months ago
2004
ACM
We propose a modification to the framework of Universally Composable (UC) security [3]. Our new notion, involves comparing the protocol executions with an ideal execution involvin...