288 search results - page 48 / 58 » An algebraic generalization of Kripke structures |
ICC
2008
IEEE
14 years 2 months ago
2008
IEEE
— Recently Li and Xia have proposed a transmission scheme for wireless relay networks based on the Alamouti space time code and orthogonal frequency division multiplexing to comb...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— In this paper, we develop an algorithm for determining the relative position and attitude of two robots moving in 3D, using only dead-reckoning and inter-robot distance...
CISC
2005
Springer
14 years 1 months ago
2005
Springer
The formal analysis of cryptographic protocols has developed into a comprehensive body of knowledge, building on a wide variety of formalisms and treating a diverse range of securi...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
A style for programming problems from matrix algebra is developed with a familiar example and new tools, yielding high performance with a couple of surprising exceptions. The under...
ICTAC
2005
Springer
14 years 1 months ago
2005
Springer
Case studies can significantly contribute towards improving the understanding of formalisms and thereby to their applicability in practice. One such case, namely a cascade of the ...