1626 search results - page 84 / 326 » Subtyping with Power Types |
142
click to vote
TSP
2008
15 years 3 months ago
2008
Abstract--This paper addresses the problem of adaptively allocating the bits and the power among a set of parallel subchannels. A frame-oriented transmission with convolutional cod...
134
click to vote
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
We use the OPA complex systems model of the power transmission system to investigate the effect of a series of different network upgrade scenarios on the long time dynamics and th...
131
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In various applications, the effect of errors in gradient-based iterations is of particular importance when seeking saddle points of the Lagrangian function associated with constra...
155
click to vote
SCW
2012
IEEE
13 years 11 months ago
2012
IEEE
We consider pure exchange economies with finitely many private goods involving the choice of a public project. We discuss core-equivalence results in the general framework of non...
127
click to vote
POPL
1998
ACM
15 years 8 months ago
1998
ACM
The SLam calculus is a typed -calculus that maintains security information as well as type information. The type system propagates security information for each object in four for...