3591 search results - page 238 / 719 » Typing linear constraints |
172
click to vote
AUIC
2003
IEEE
16 years 15 days ago
2003
IEEE
Many user interfaces include history lists that help users retrieve temporally ordered information such as previously visited web pages, email messages, and recently used files. ...
159
click to vote
SCL
2008
15 years 7 months ago
2008
: The paper considers a model validation problem for a class of uncertain systems in which the uncertainty is described by an integral quadratic constraint and the uncertain system...
149
click to vote
EOR
2011
15 years 2 months ago
2011
We develop a numerical scheme for determining the optimal asset allocation strategy for time-consistent, continuous time, mean variance optimization. Any type of constraint can be...
173
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
192
click to vote
LICS
2005
IEEE
16 years 24 days ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...