5090 search results - page 20 / 1018 » Constructing Strategies for Programming |
PIMRC
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, the selective time division multiple access (S-TDMA) strategy is studied in the downlink channel. This strategy consists in transmitting data to the user with the...
PLDI
2006
ACM
14 years 1 months ago
2006
ACM
POS
1992
Springer
13 years 11 months ago
1992
Springer
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
ICCBR
2005
Springer
14 years 1 months ago
2005
Springer
Constraint programming is a powerful paradigm that offers many different strategies for solving problems. Choosing a good strategy is difficult; choosing a poor strategy wastes r...