672 search results - page 135 / 135 » Using a Theorem Prover for Reasoning on Constraint Problems |
SOSP
2003
ACM
14 years 2 months ago
2003
ACM
Peer-to-peer storage systems assume that their users consume resources in proportion to their contribution. Unfortunately, users are unlikely to do this without some enforcement m...
SIGGRAPH
2010
ACM
13 years 9 months ago
2010
ACM
The emergence of large-scale freeform shapes in architecture poses big challenges to the fabrication of such structures. A key problem is the approximation of the design surface b...