3044 search results - page 102 / 609 » Linear logical approximations |
IVC
2006
13 years 9 months ago
2006
Reconfigurable omnidirectional camera arrays are useful for applications where multiple cameras working together are to be deployed at a short notice. This paper proposes a multi-...
LICS
2008
IEEE
14 years 3 months ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
FSE
1999
Springer
14 years 1 months ago
1999
Springer
In this paper we evaluate the resistance of the block cipher RC5 against linear cryptanalysis. We describe a known plaintext attack that can break RC5-32 (blocksize 64) with 10 rou...
FLOPS
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...
ENDM
2010
13 years 6 months ago
2010
Many inequalities for Mixed-Integer Linear Programs (MILPs) or pure Integer Linear Programs (ILPs) are derived from the Gomory corner relaxation, where all the nonbinding constrai...