1280 search results - page 61 / 256 » Soft Typing with Conditional Types |
EJC
2006
13 years 9 months ago
2006
The small subgraph conditioning method first appeared when Robinson and the second author showed the almost sure hamiltonicity of random d-regular graphs. Since then it has been u...
EUROCRYPT
2005
Springer
14 years 2 months ago
2005
Springer
We present several attacks on RSA that factor the modulus in polynomial time under the condition that a fraction of the most significant bits or least significant bits of the pri...
ISIPTA
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we try to clarify the notion of independence for imprecise probabilities. Our main point is that there are several possible definitions of independence which are app...
CP
2006
Springer
14 years 25 days ago
2006
Springer
We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simulta...
ANTS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The goal of this paper is to present computations investigating the "functorial" properties of Stark units, that is, how specific roots of Stark units from cert...