Sciweavers

COMPGEOM
2004
ACM
14 years 4 months ago
Spacetime meshing with adaptive refinement and coarsening
We propose a new algorithm for constructing finite-element meshes suitable for spacetime discontinuous Galerkin solutions of linear hyperbolic PDEs. Given a triangular mesh of som...
Reza Abedi, Shuo-Heng Chung, Jeff Erickson, Yong F...
RECSYS
2009
ACM
14 years 7 months ago
An incentive-based architecture for social recommendations
We present an incentive-based architecture for providing recommendations in a social network. We maintain a distinct reputation system for each individual and we rely on users to ...
Rajat Bhattacharjee, Ashish Goel, Konstantinos Kol...
ICFP
2004
ACM
15 years 12 days ago
Verification of safety properties for concurrent assembly code
Concurrency, as a useful feature of many modern programming languages and systems, is generally hard to reason about. Although existing work has explored the verification of concu...
Dachuan Yu, Zhong Shao
STOC
2003
ACM
90views Algorithms» more  STOC 2003»
15 years 22 days ago
Work-competitive scheduling for cooperative computing with dynamic groups
The problem of cooperatively performing a set of t tasks in a decentralized setting where the computing medium is subject to failures is one of the fundamental problems in distrib...
Chryssis Georgiou, Alexander Russell, Alexander A....
KDD
2003
ACM
269views Data Mining» more  KDD 2003»
15 years 26 days ago
Maximizing the spread of influence through a social network
Models for the processes by which ideas and influence propagate through a social network have been studied in a number of domains, including the diffusion of medical and technolog...
David Kempe, Jon M. Kleinberg, Éva Tardos