1670 search results - page 296 / 334 » On Skolemization in constructive theories |
114
click to vote
MVA
2000
14 years 11 months ago
2000
work, applies a nonlinear transformation from the input space to the hidden space. The output layer Partial face images, e.g.1 eyes, nose, and ear supplies the response of the netw...
NIPS
1997
14 years 11 months ago
1997
A Lyapunov function for excitatory-inhibitory networks is constructed. The construction assumes symmetric interactions within excitatory and inhibitory populations of neurons, and...
AAAI
1994
14 years 11 months ago
1994
We introduce a new framework for the study of reasoning. The Learning (in order) to Reason approach developed here views learning as an integral part of the inference process, and ...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
We explore settings where a principal must make a decision about which action to take to achieve a desired outcome. The principal elicits the probability of achieving the outcome ...
BMCBI
2010
2010
Towards the systematic discovery of signal transduction networks using phosphorylation dynamics data
14 years 10 months ago
Background: Phosphorylation is a ubiquitous and fundamental regulatory mechanism that controls signal transduction in living cells. The number of identified phosphoproteins and th...