20441 search results - page 3652 / 4089 » Locally Computable Structures |
224
click to vote
TPHOL
2008
IEEE
16 years 2 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
335
click to vote
VL
2008
IEEE
16 years 2 months ago
2008
IEEE
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...
201
click to vote
WCNC
2008
IEEE
16 years 2 months ago
2008
IEEE
—Among all blind channel estimation problems, subspace-based algorithms are attractive due to its fastconverging nature. It primarily exploits the orthogonality structure of the ...
237
Voted
WCNC
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—This paper considers power and bandwidth allocation to maximize the end-to-end rate in a multihop wireless network. Assuming an orthogonal frequency division multiplexin...
231
click to vote
WCNC
2008
IEEE
16 years 2 months ago
2008
IEEE
—The hot spot problem is a typical byproduct of the many-to-one traffic pattern that characterizes most wireless sensor networks: the nodes with the best channel to the sink are ...