328 search results - page 32 / 66 » Simple Termination Revisited |
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
— Cooperative diversity obtains the spatial diversity gains created by sharing antennas of terminals in wireless networks. In this paper, adaptive amplify-and-forward (AF) cooper...
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
IS
2007
13 years 7 months ago
2007
level of abstraction which is not only ideally suited for processing data on secondary storage but which also readily absorbs important issues in computational parallelism and in d...
RTA
2011
Springer
12 years 10 months ago
2011
Springer
Given an equational system, completion procedures compute an equivalent and complete (terminating and confluent) term rewrite system. We present a very simple and efficient compl...
SIGIR
2011
ACM
12 years 10 months ago
2011
ACM
Large search engines process thousands of queries per second over billions of documents, making query processing a major performance bottleneck. An important class of optimization...