5638 search results - page 256 / 1128 » On presence |
147
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Secure distributed data compression in the presence of an eavesdropper is explored. Two correlated sources that need to be reliably transmitted to a legitimate receiver are availab...
140
click to vote
ENDM
2010
15 years 6 months ago
2010
The performance of Branch-and-Bound algorithms is severely impaired by the presence of symmetric optima in a given problem. We describe a method for the automatic detection of for...
151
click to vote
EOR
2010
2010
Optimal asset allocation for aggregated defined benefit pension funds with stochastic interest rates
15 years 6 months ago
In this paper we study the optimal management of an aggregated pension fund of defined benefit type, in the presence of a stochastic interest rate. We suppose that the sponsor can ...
176
click to vote
AMAI
2006
Springer
2006
Springer
Functional and multivalued dependencies in nested databases generated by record and list constructor
15 years 6 months ago
tor. In order to capture different data models at a time, an abstract algebraic approach based on nested attributes is taken. The presence of the list constructor calls for a new i...
159
click to vote
ENTCS
2008
15 years 6 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...