3221 search results - page 33 / 645 » Termination of Linear Programs |
99
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
A coded modulation system is considered in which nonbinary coded symbols are mapped directly to nonbinary modulation signals. It is proved that if the modulator-channel combination...
IJCV
2012
13 years 5 months ago
2012
105
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
—Orthogonal variable spreading factor (OVSF) codes are used in both universal terrestrial radio access–frequency division duplex (UTRA-FDD) and time division duplex (UTRA-TDD) ...
113
click to vote
ENTCS
2007
15 years 2 months ago
2007
Context-sensitive rewriting (CSR) is a restriction of rewriting which forbids reductions on selected arguments of functions. Proving termination of CSR is an interesting problem w...
102
Voted
LOPSTR
1998
Springer
15 years 7 months ago
1998
Springer
Well-quasi orders in general, and homeomorphic embedding in particular, have gained popularity to ensure online termination of program analysis, specialisation and transformation t...