3591 search results - page 257 / 719 » Typing linear constraints |
155
click to vote
JPDC
2006
15 years 7 months ago
2006
The nearest-neighbor method can successfully be applied to correct possible errors induced into bit strings transmitted over noisy communication channels or to classify samples in...
216
click to vote
JCO
2011
14 years 10 months ago
2011
This paper presents mathematical programming techniques for solving a class of multi-sensor scheduling problems. Robust optimization problems are formulated for both deterministic ...
208
click to vote
OOPSLA
2004
Springer
16 years 18 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
197
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Javari is an extension of Java that supports reference immutability constraints. Programmers write readonly type qualifiers and other constraints, and the Javari typechec...
172
click to vote
ICFP
2003
ACM
16 years 7 months ago
2003
ACM
We present the derivation of a space efficient parser combinator library: the constructed parsers do not keep unnecessary references to the input, produce online results and effic...