13376 search results - page 2520 / 2676 » Problem Solving with |
126
Voted
COMPGEOM
2003
ACM
15 years 8 months ago
2003
ACM
We develop algorithms for computing the smallest enclosing ball of a set of n balls in d-dimensional space. Unlike previous methods, we explicitly address small cases (n ≤ d + 1...
157
Voted
WOLLIC
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
149
click to vote
EDCC
2010
Springer
15 years 8 months ago
2010
Springer
: While lots of consensus algorithms have been proposed for crash-prone asynchronous message-passing systems enriched with a failure detector of the class Ω (the class of eventua...
121
Voted
ASIACRYPT
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In 1985 Fell and Diffie proposed constructing trapdoor functions with multivariate equations [11]. They used several sequentially solved stages. Another idea of building ...
128
Voted
ICCAD
1993
IEEE
15 years 7 months ago
1993
IEEE
A new technique for design centering, and for polytope approximation of the feasible region for a design are presented. In the rst phase, the feasible region is approximated by a ...