Sciweavers

1584 search results - page 66 / 317
» Making priors a priority
Sort
View
146
Voted
ICCAD
2007
IEEE
109views Hardware» more  ICCAD 2007»
16 years 2 months ago
Inductive equivalence checking under retiming and resynthesis
Retiming and resynthesis are among the most important techniques for practical sequential circuit optimization. However, their applicability is much limited due to verification c...
Jie-Hong Roland Jiang, Wei-Lun Hung
WIKIS
2009
ACM
15 years 12 months ago
rv you're dumb: identifying discarded work in Wiki article history
Wiki systems typically display article history as a linear sequence of revisions in chronological order. This representation hides deeper relationships among the revisions, such a...
Michael D. Ekstrand, John Riedl
128
Voted
HPDC
2007
IEEE
15 years 11 months ago
Ridge: combining reliability and performance in open grid platforms
Large-scale donation-based distributed infrastructures need to cope with the inherent unreliability of participant nodes. A widely-used work scheduling technique in such environme...
Krishnaveni Budati, Jason D. Sonnek, Abhishek Chan...
156
Voted
ICDM
2007
IEEE
129views Data Mining» more  ICDM 2007»
15 years 11 months ago
Semi-supervised Clustering Using Bayesian Regularization
Text clustering is most commonly treated as a fully automated task without user supervision. However, we can improve clustering performance using supervision in the form of pairwi...
Zuobing Xu, Ram Akella, Mike Ching, Renjie Tang
163
Voted
P2P
2005
IEEE
110views Communications» more  P2P 2005»
15 years 11 months ago
Presence-Based Availability and P2P Systems
The availability of a P2P service is a function of the individual peers’ availabilities, and it is often desirable to estimate how available a particular P2P service will be giv...
Richard J. Dunn, John Zahorjan, Steven D. Gribble,...