352 search results - page 57 / 71 » Proofs as Polynomials |
175
Voted
VMCAI
2005
Springer
16 years 29 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
188
click to vote
EUROCRYPT
2004
Springer
16 years 26 days ago
2004
Springer
Generating a distributed key, where a constant fraction of the players can reconstruct the key, is an essential component of many largescale distributed computing tasks such as ful...
157
click to vote
STACS
2004
Springer
16 years 25 days ago
2004
Springer
Motivated by a scheduling problem encountered in multicast environments, we study a vertex labelling problem, called Directed Circular Arrangement (DCA), that requires one to fin...
184
click to vote
INFOCOM
2003
IEEE
16 years 23 days ago
2003
IEEE
Abstract— Finding a path in a network based on multiple constraints (the MCP problem) is often referred to as QoS routing. QoS routing with constraints on multiple additive metri...
212
Voted
CALC
2001
Springer
16 years 2 hour ago
2001
Springer
We show that recent results of Coppersmith, Boneh, Durfee and Howgrave-Graham actually apply in the more general setting of (partially) approximate common divisors. This leads us t...