3994 search results - page 473 / 799 » A Linear Logical Framework |
170
click to vote
TSP
2008
15 years 7 months ago
2008
Since the seminal work of Stein in the 1950s, there has been continuing research devoted to improving the total meansquared error (MSE) of the least-squares (LS) estimator in the l...
215
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
For single-carrier systems with frequency domain equalization, decision feedback equalization (DFE) performs better than linear equalization and has much lower computational compl...
210
click to vote
INFOCOM
2012
IEEE
13 years 10 months ago
2012
IEEE
—Conserving network-wide energy consumption is becoming an increasingly important concern for network operators. In this work, we study network-wide energy conservation problem w...
200
click to vote
PPDP
2009
Springer
16 years 2 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
195
Voted
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...