3571 search results - page 469 / 715 » Cohen and Set Theory |
167
click to vote
ESOP
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Many algorithms use concrete data types with some additional invariants. The set of values satisfying the invariants is often a set of representatives for the equivalence...
161
click to vote
ISSAC
2007
Springer
16 years 23 days ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
186
click to vote
COMPGEOM
2006
ACM
16 years 18 days ago
2006
ACM
In the last decade, a great deal of work has been devoted to the elaboration of a sampling theory for smooth surfaces. The goal was to ensure a good reconstruction of a given surf...
172
click to vote
COMPGEOM
2006
ACM
16 years 18 days ago
2006
ACM
We construct a class of envelope surfaces in Rd , more precisely envelopes of balls. An envelope surface is a closed C1 (tangent continuous) manifold wrapping tightly around the u...
169
click to vote
SIGCOMM
2006
ACM
16 years 17 days ago
2006
ACM
A pervasive requirement of distributed systems is to deal with churn — change in the set of participating nodes due to joins, graceful leaves, and failures. A high churn rate ca...