5090 search results - page 20 / 1018 » Constructing Strategies for Programming |
196
click to vote
PIMRC
2008
IEEE
16 years 1 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...
133
Voted
PLDI
2006
ACM
16 years 1 months ago
2006
ACM
143
Voted
POS
1992
Springer
15 years 11 months ago
1992
Springer
225
click to vote
ICFP
2008
ACM
16 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 ...
206
click to vote
ICCBR
2005
Springer
16 years 27 days 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...