1716 search results - page 211 / 344 » Proving Conditional Termination |
101
click to vote
WINE
2009
Springer
15 years 9 months ago
2009
Springer
This work initiates the study of cost-sharing mechanisms that, in addition to the usual incentive compatibility conditions, make it disadvantageous for the users to employ pseudon...
139
click to vote
CALCO
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
109
click to vote
RELMICS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Boolean Contact Algebras (BCA) establish the algebraic counterpart of the mereotopolopy induced by the Region Connection Calculus (RCC). Similarly, Stonian p-ortholattice...
136
click to vote
WOWMOM
2009
ACM
15 years 9 months ago
2009
ACM
—In this paper, the problem of estimating the link quality in mesh networks has been considered. Such a process is a major task to develop an efficient network layer, since it a...
127
Voted
WCNC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— In this paper, the design of distributed spacefrequency codes (DSFCs) for wireless relay networks employing the amplify-and-forward (AAF) protocol is considered. The te...