3994 search results - page 402 / 799 » A Linear Logical Framework |
150
click to vote
DAGSTUHL
2004
15 years 8 months ago
2004
The topic of the talk were the time approximation of quasi linear stochastic partial differential equations of parabolic type. The framework were in the setting of stochastic evolu...
149
click to vote
NIPS
2004
15 years 8 months ago
2004
In this paper we present a framework for using multi-layer perceptron (MLP) networks in nonlinear generative models trained by variational Bayesian learning. The nonlinearity is h...
137
click to vote
MOC
1998
15 years 6 months ago
1998
Abstract. We present formulations of the Trotter-Kato theorem for approximation of linear C0-semigroups which provide very useful framework when convergence of numerical approximat...
188
click to vote
NIPS
2008
15 years 8 months ago
2008
The discovery of causal relationships between a set of observed variables is a fundamental problem in science. For continuous-valued data linear acyclic causal models with additiv...
197
click to vote
ET
2010
15 years 5 months ago
2010
In this work we investigate the problem of simultaneous privacy and integrity protection in cryptographic circuits. We consider a white-box scenario with a powerful, yet limited at...