3994 search results - page 574 / 799 » A Linear Logical Framework |
333
click to vote
ENTCS
2006
15 years 7 months ago
2006
We investigate the construction of linear operators representing the semantics of probabilistic programming languages expressed via probabilistic transition systems. Finite transi...
130
click to vote
FSS
2006
15 years 7 months ago
2006
This paper presents an automated fuzziness-driven algorithm for image enhancement.A class of parametric indices of fuzziness is introduced, which serves as the optimization criter...
179
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
— In this paper the benefits provided by multi-cell processing of signals transmitted by mobile terminals which are received via dedicated relay terminals (RTs) are assessed. Un...
199
click to vote
JMLR
2006
15 years 7 months ago
2006
This paper presents an online support vector machine (SVM) that uses the stochastic meta-descent (SMD) algorithm to adapt its step size automatically. We formulate the online lear...
219
click to vote
MP
2006
15 years 7 months ago
2006
In classical two-stage stochastic programming the expected value of the total costs is minimized. Recently, mean-risk models - studied in mathematical finance for several decades -...