417 search results - page 42 / 84 » Orderings for Innermost Termination |
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract —Previous work demonstrated that the improvements in spectral efficiency and link reliability can be obtained in wireless relay networks employing terminals with MIMO c...
RTA
2005
Springer
14 years 1 months ago
2005
Springer
A convenient method for defining a quasi-ordering, such as those used for proving termination of rewriting, is to choose the minimum of a set of quasi-orderings satisfying some d...
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
We consider the problem of document conversion from the renderingoriented HTML markup into a semantic-oriented XML annotation defined by user-specific DTDs or XML Schema descrip...
WORDS
2002
IEEE
14 years 16 days ago
2002
IEEE
Open Multithreaded Transactions form an advanced transaction model that provides features for controlling and structuring not only accesses to objects, as usual in transaction sys...
GLOBECOM
2009
IEEE
13 years 11 months ago
2009
IEEE
File distribution is becoming a key technology, in particular in large scale content broadcasting systems like DVBH/SH. They largely rely on Application Level FEC codes (ALFEC) in ...