5090 search results - page 20 / 1018 » Constructing Strategies for Programming |
117
click to vote
PIMRC
2008
IEEE
15 years 9 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
15 years 9 months ago
2006
ACM
POS
1992
Springer
15 years 7 months ago
1992
Springer
139
click to vote
ICFP
2008
ACM
16 years 3 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 ...
130
click to vote
ICCBR
2005
Springer
15 years 8 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...