3318 search results - page 172 / 664 » The Weak Instance Model |
JCNS
2008
13 years 8 months ago
2008
Activation of NMDA receptors (NMDARs) is highly involved in the potentiation and depression of synaptic transmission. NMDARs comprise NR1 and NR2B subunits in the neonatal forebrai...
FLAIRS
2009
13 years 6 months ago
2009
Belief revision always results in trusting new evidence, so it may admit an unreliable one and discard a more confident one. We therefore use belief change instead of belief revis...
CORR
2011
Springer
12 years 12 months ago
2011
Springer
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descripti...
ICML
2008
IEEE
14 years 9 months ago
2008
IEEE
Graph transduction methods label input data by learning a classification function that is regularized to exhibit smoothness along a graph over labeled and unlabeled samples. In pr...
SEMWEB
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents our first participation in the OAEI 2007 campaign. It describes an approach to align taxonomies which relies on terminological and structural techniques applie...