2362 search results - page 60 / 473 » Programming in Standard ML |
125
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
— Large MIMO systems with tens of antennas in each communication terminal using full-rate non-orthogonal spacetime block codes (STBC) from Cyclic Division Algebras (CDA) can achi...
246
Voted
POPL
2007
ACM
16 years 3 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
109
click to vote
ML
2008
ACM
15 years 3 months ago
2008
ACM
Call-by-value languages commonly restrict recursive definitions by only allowing functions and syntactically explicit values in the right-hand sides. As a consequence, some very a...
128
Voted
ML
1998
ACM
15 years 3 months ago
1998
ACM
We use simulated soccer to study multiagent learning. Each team's players (agents) share action set and policy, but may behave di erently due to position-dependent inputs. All...
160
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....