44 search results - page 6 / 9 » Approximate Entailment |
NIPS
2000
13 years 11 months ago
2000
Experimental data show that biological synapses behave quite differently from the symbolic synapses in common artificial neural network models. Biological synapses are dynamic, i....
CORR
2006
Springer
13 years 9 months ago
2006
Springer
We consider the problem of sequential decentralized detection, a problem that entails several interdependent choices: the choice of a stopping rule (specifying the sample size), a...
VMCAI
2004
Springer
14 years 3 months ago
2004
Springer
Shape analysis is a promising technique for statically verifying and extracting properties of programs that manipulate complex data structures. We introduce a new characterization...
ICASSP
2010
IEEE
13 years 4 months ago
2010
IEEE
An image reconstruction algorithm using compressed sensing (CS) with deterministic matrices of second-order ReedMuller (RM) sequences is introduced. The 1D algorithm of Howard et ...
ICCS
2007
Springer
14 years 4 months ago
2007
Springer
Assimilation of spatially- and temporally-distributed state observations into simulations of dynamical systems stemming from discretized PDEs leads to inverse problems with high-di...