20197 search results - page 400 / 4040 » Comparing Computational Power |
185
Voted
ERSHOV
2009
Springer
16 years 1 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
179
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We consider state estimation of a Markov stochastic process using an ad hoc wireless sensor network (WSN) based on noisy linear observations. Due to power and bandwidth constraint...
207
click to vote
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we design and investigate a novel Interleave Division Multiplexing based Space-Time Code (IDM-STC) in the context of cooperative communications. We outline the p...
170
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— This paper investigates a fair resource allocation method in crosstalk limited DSL (Digital Subscriber Line) systems. As a measure of fairness, the concept of Balanced Capacity...
183
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Trellis codes based on linear congruential recursions have recently been introduced as powerful source codes. For a modest computational complexity they offer excellent rate di...