1310 search results - page 128 / 262 » Parameterized Partial Evaluation |
CORR
2006
Springer
14 years 10 months ago
2006
Springer
We consider transmission over the ergodic fading multiple-antenna broadcast (MIMO-BC) channel with partial channel state information at the transmitter and full information at the ...
ENTCS
2006
14 years 10 months ago
2006
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
101
click to vote
JCM
2008
14 years 10 months ago
2008
In this work the performance of a combined equalization for multi-carrier code division multiple access (MC-CDMA) systems is analytically evaluated. Combined equalization consists ...
JAIR
2006
14 years 10 months ago
2006
The Partially Observable Markov Decision Process has long been recognized as a rich framework for real-world planning and control problems, especially in robotics. However exact s...
LISP
2008
14 years 10 months ago
2008
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...