3571 search results - page 307 / 715 » Cohen and Set Theory |
153
click to vote
SIAMMA
2010
15 years 1 months ago
2010
In this paper we study the interior transmission problem and transmission eigenvalues for multiplicative perturbations of linear partial differential operator of order 2 with cons...
182
click to vote
STTT
2010
15 years 1 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
214
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
We propose the energy efficient MAC algorithm in this paper. In the proposed algorithm, each node sets the contention window size with respect to the residual energy, the harvest...
189
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
214
click to vote
IACR
2011
14 years 6 months ago
2011
Secure multiparty computation (MPC) allows a set of n players to compute any public function, given as an arithmetic circuit, on private inputs, so that privacy of the inputs as we...