3007 search results - page 53 / 602 » Linear Functional Fixed-points |
107
Voted
IGPL
2000
14 years 11 months ago
2000
Abstract Neil Ghani Valeria de Paiva Eike Ritter The -calculus 1 adds explicit substitutions to the -calculus so as to provide a theoretical framework within which the implement...
109
click to vote
IOR
2011
14 years 6 months ago
2011
We formulate a risk-averse two-stage stochastic linear programming problem in which unresolved uncertainty remains after the second stage. The objective function is formulated as ...
CSC
2006
15 years 1 months ago
2006
In this paper, a new method is proposed in order to evaluate the stochastic solution of linear random differential equation. The method is based on the combination of the probabili...
103
Voted
TIT
1998
14 years 11 months ago
1998
—A sequential decoder for linear block codes that performs maximum-likelihood soft-decision decoding is described. The decoder uses a metric computed from a lower bound on the co...
JLP
2008
14 years 11 months ago
2008
A formulation of na