Sciweavers

8499 search results - page 66 / 1700
» cans 2009
Sort
View
IFM
2009
Springer
132views Formal Methods» more  IFM 2009»
15 years 7 months ago
Decomposition Structures for Event-B
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
Michael Butler
IPMI
2009
Springer
16 years 1 months ago
Unifying encoding of spatial information in mutual information for nonrigid registration
As encoding spatial information into mutual information (MI) can improve the nonrigid registration against bias fields where the conventional MI is challenged, we propose to unify ...
David J. Hawkes, Sébastien Ourselin, Xiahai...
GLOBECOM
2009
IEEE
15 years 4 months ago
Near-Shannon-Limit Linear-Time-Encodable Nonbinary Irregular LDPC Codes
—In this paper, we present a novel method to construct nonbinary irregular LDPC codes whose parity check matrix has only column weights of 2 and t, where t ≥ 3. The constructed...
Jie Huang, Shengli Zhou, Peter Willett
ICC
2009
IEEE
185views Communications» more  ICC 2009»
15 years 7 months ago
On the Security Performance of Physical-Layer Network Coding
—Physical-layer network coding (PLNC) is a novel wireless communication technology, in which multiple transmitters can send signals on the same channel to the same receiver at th...
Kejie Lu, Shengli Fu, Yi Qian, Tao Zhang
115
Voted
IPL
2010
119views more  IPL 2010»
14 years 11 months ago
Note on Max Lin-2 above Average
In the Max Lin-2 problem we are given a system S of m linear equations in n variables over F2 in which Equation j is assigned a positive integral weight wj for each j. We wish to ...
Robert Crowston, Gregory Gutin, Mark Jones