417 search results - page 35 / 84 » Orderings for Innermost Termination |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Two distinct models of feedback, suited for FDD (Frequency Division Duplex) and TDD (Frequency Division Duplex) systems respectively, have been widely studied in the literature. In...
IPL
2006
13 years 7 months ago
2006
Knuth-Bendix completions of the equational theories of k 2 commuting group endomorphisms are obtained, using automated theorem proving and modern termination checking. This impro...
ITP
2010
13 years 5 months ago
2010
Using HOL4, we mechanise termination and correctness for two unification algorithms, written in a recursive descent style. One computes unifiers for first order terms, the other fo...
VTC
2007
IEEE
14 years 1 months ago
2007
IEEE
Energy is a major concern in ad hoc networks as it dictates the lifetime of a terminal and consequently the whole network. In an ad hoc network, not all terminals are equally sol...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: It is well known that dynamic OFDMA systems potentially increase the spectral efficiency of wireless systems. They exploit diversity effects in time, space, and frequency by ass...