20441 search results - page 3652 / 4089 » Locally Computable Structures |
159
click to vote
TPHOL
2008
IEEE
15 years 11 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...
254
click to vote
VL
2008
IEEE
15 years 11 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...
142
click to vote
WCNC
2008
IEEE
15 years 11 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 ...
170
click to vote
WCNC
2008
IEEE
15 years 11 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...
151
click to vote
WCNC
2008
IEEE
15 years 11 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 ...